Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAAAI Spring Symposium 2007 - Logical Formalizations of Commonsense Reasoning: Stanford University, CA, USA
- Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007. AAAI 2007
- Michael L. Anderson, Matthew D. Schmill, Tim Oates, Donald Perlis, Darsana P. Josyula, Dean Wright, Shomir Wilson:
Toward Domain-Neutral Human-Level Metacognition. 1-6 - Jorge A. Baier, Sheila A. McIlraith:
On Domain-Independent Heuristics for Planning with Qualitative Preferences. 7-12 - Marcello Balduccini:
Learning Action Descriptions with A-Prolog: Action Language C. 13-18 - Alexander Bochman:
On Default Representation of Defeasible Inference and Specificity. 19-24 - Patrick Caldon, Eric Martin:
Learning a Plan in the Limit. 25-34 - Sandeep Chintabathina, Michael Gelfond
, Richard Watson:
Defeasible Laws, Parallel Actions, and Reasoning about Resources. 35-40 - Stefania Costantini, Arianna Tocchio, Pierangelo Dell'Acqua:
Expressing Preferences Declaratively in Logic-based Agent Languages. 41-46 - Alfredo Gabaldon:
Resolving Non-Determinism in Programs for Complex Task Planning with Search Control. 47-52 - Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance:
A Logical Theory of Coordination and Joint Ability. 53-58 - Patrick Hayes:
Context Mereology. 59-64 - Aaron Hunter, James P. Delgrande:
An Explicit Model of Belief Change for Cryptographic Protocol Verification. 65-70 - Benjamin Johnston, Mary-Anne Williams:
A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems. 71-76 - Michael Kandefer, Stuart C. Shapiro:
Knowledge Acquisition by an Intelligent Acting Agent. 77-82 - Vladimir Lifschitz, Wanwan Ren:
Variables in Action Descriptions: Merging C+ with ADL. 83-88 - Fangzhen Lin:
Finitely-Verifiable Classes of Sentences. 89-94 - Martin Magnusson, Patrick Doherty:
Deductive Planning with Temporal Constraints. 95-100 - David Mallenby:
Grounding a Geographic Ontology on Geographic Data. 101-106 - Loizos Michael:
On the Learnability of Causal Domains: Inferring Temporal Reality from Appearances. 107-113 - Fabrizio Morbini, Lenhart K. Schubert:
Towards Realistic Autocognitive Inference. 114-118 - Leora Morgenstern:
Grounding Stanislavskian Scene Analysis in a Formal Theory of Action. 119-125 - Erik T. Mueller:
Discrete Event Calculus with Branching Time. 126-131 - Rutu Mulkar, Jerry R. Hobbs, Eduard H. Hovy:
Learning from Reading Syntactically Complex Biology Texts. 132-137 - Deepak Ramachandran:
Using Common Sense for Decision Making in an Adventure Game. 138-143 - Paulo E. Santos, Pedro Cabalar:
Holes, Knots and Shapes: A Spatial Ontology of a Puzzle. 144-149 - Dafna Shahaf, Eyal Amir:
Towards a Theory of AI Completeness. 150-155 - Richmond H. Thomason:
Conditionals and Action Logics. 156-161 - Anbu Yue, Zuoquan Lin:
A Coherent and Paraconsistent Variant of the Default Logic. 162-
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
