4266 search results - page 364 / 854 » A Framework for Defining Logics |
229
click to vote
TABLEAUX
2009
Springer
16 years 2 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...
194
click to vote
IJCAI
2007
15 years 9 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...
193
click to vote
FOIS
2006
15 years 9 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...
228
Voted
RR
2010
Springer
15 years 6 months ago
2010
Springer
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
195
click to vote
CADE
2003
Springer
16 years 8 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...