3515 search results - page 535 / 703 » On the semantics of Strategy Logic |
185
click to vote
ICLP
2004
Springer
16 years 19 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
182
click to vote
LPNMR
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
207
click to vote
PPDP
2004
Springer
16 years 19 days ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
162
click to vote
CONTEXT
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
209
click to vote
BTW
2001
Springer
15 years 11 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...