73 search results - page 10 / 15 » Nonmonotonic Model Inference-A Formalization of Student Mode... |
MATES
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
102
click to vote
APN
2009
Springer
15 years 4 months ago
2009
Springer
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...
KR
2004
Springer
15 years 2 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
KR
2010
Springer
15 years 2 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...