2067 search results - page 127 / 414 » Logics of propositional control |
131
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
135
click to vote
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...
107
Voted
IJCAI
2007
15 years 3 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
104
Voted
FOIS
2006
15 years 3 months ago
2006
Abstract. A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for the...
111
click to vote
AI
2002
Springer
15 years 1 months ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...