3776 search results - page 500 / 756 » Partition-Based Logical Reasoning |
112
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
124
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Rational graphs are a family of graphs defined using labelled rational transducers. Unlike automatic graphs (defined using synchronized transducers) the first order theory of these...
120
click to vote
IJCAI
2007
15 years 3 months ago
2007
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, w...
103
click to vote
DLOG
2006
15 years 3 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
125
Voted
IJCAI
2003
15 years 3 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...