73 search results - page 10 / 15 » Nonmonotonic Model Inference-A Formalization of Student Mode... |
129
click to vote
MATES
2005
Springer
15 years 9 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...
123
click to vote
ECAI
2004
Springer
15 years 8 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 ...
153
Voted
APN
2009
Springer
15 years 10 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...
147
Voted
KR
2004
Springer
15 years 8 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 ...
125
Voted
KR
2010
Springer
15 years 8 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...