Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1401.5849
Cited By
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Journal of Artificial Intelligence Research (JAIR), 2012
23 January 2014
Francesco Belardinelli
A. Lomuscio
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results"
2 / 2 papers shown
Bundled fragments of first-order modal logic: (un)decidability
A. Padmanabha
R. Ramanujam
Yanjing Wang
108
23
0
28 Mar 2018
Verification of Agent-Based Artifact Systems
Journal of Artificial Intelligence Research (JAIR), 2013
Francesco Belardinelli
A. Lomuscio
F. Patrizi
114
57
0
12 Jan 2013
1
Page 1 of 1
