conftrace_

logical language

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

knowledge representation (2) institutional analysis (1) tuple-generating dependencies (1) intuitive theory (1) model theory (1) relational theory (1) human reasoning (1) multi-agent system (1) existential rule (1) relational data (1)

Papers

A Computational Model of Ostrom's Institutional Analysis and Development Framework (Extended Abstract) IJCAI 2023 Model-theoretic Characterizations of Existential Rule Languages IJCAI 2020 Learning and using relational theories NeurIPS 2007