Found: 17
Select item for more details and to access through your institution.
The Expressivity of Quantified Group Announcements.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 6, p. 1122, doi. 10.1093/logcom/exac082
- By:
- Publication type:
- Article
A Logic of East and West.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 76, p. 527, doi. 10.1613/jair.1.14113
- By:
- Publication type:
- Article
Data-Driven Revision of Conditional Norms in Multi-Agent Systems.
- Published in:
- Journal of Artificial Intelligence Research, 2022, v. 75, p. 1549, doi. 10.1613/jair.1.13683
- By:
- Publication type:
- Article
Coalition logic with individual, distributed and common knowledge.
- Published in:
- Journal of Logic & Computation, 2019, v. 29, n. 7, p. 1041, doi. 10.1093/logcom/exv085
- By:
- Publication type:
- Article
Efficient minimal preference change.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 8, p. 1715, doi. 10.1093/logcom/exv027
- By:
- Publication type:
- Article
Intuitionistic Modal Logic: A 15-year retrospective.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 5, p. 873, doi. 10.1093/logcom/exv042
- By:
- Publication type:
- Article
Alternating-time temporal logic with resource bounds.
- Published in:
- Journal of Logic & Computation, 2018, v. 28, n. 4, p. 631, doi. 10.1093/logcom/exv034
- By:
- Publication type:
- Article
Fair decomposition of group obligations.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 7, p. 2043, doi. 10.1093/logcom/exx012
- By:
- Publication type:
- Article
A Method for Matching Crowd-sourced and Authoritative Geospatial Data.
- Published in:
- Transactions in GIS, 2017, v. 21, n. 2, p. 406, doi. 10.1111/tgis.12210
- By:
- Publication type:
- Article
Geospatial Information Integration for Authoritative and Crowd Sourced Road Vector Data.
- Published in:
- Transactions in GIS, 2012, v. 16, n. 4, p. 455, doi. 10.1111/j.1467-9671.2012.01303.x
- By:
- Publication type:
- Article
Logic for coalitions with bounded resources1.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 6, p. 907, doi. 10.1093/logcom/exq032
- By:
- Publication type:
- Article
Belief ascription under bounded resources.
- Published in:
- Synthese, 2010, v. 173, n. 2, p. 179, doi. 10.1007/s11229-009-9706-6
- By:
- Publication type:
- Article
Verifying time, memory and communication bounds in systems of reasoning agents.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 385, doi. 10.1007/s11229-009-9557-1
- By:
- Publication type:
- Article
Preference-based belief revision for rule-based agents.
- Published in:
- Synthese, 2008, v. 165, n. 2, p. 159, doi. 10.1007/s11229-008-9364-0
- By:
- Publication type:
- Article
The Dynamics of Syntactic Knowledge.
- Published in:
- Journal of Logic & Computation, 2007, v. 17, n. 1, p. 83, doi. 10.1093/logcom/ex1019
- By:
- Publication type:
- Article
A Modal Perspective on Path Constraints.
- Published in:
- Journal of Logic & Computation, 2003, v. 13, n. 6, p. 939, doi. 10.1093/logcom/13.6.939
- By:
- Publication type:
- Article
Functional Dependencies between Variables.
- Published in:
- Studia Logica, 2000, v. 66, n. 2, p. 273, doi. 10.1023/A:1005200414624
- By:
- Publication type:
- Article