74 search results - page 2 / 15 » REVISE: An Extended Logic Programming System for Revising Kn... |
FLAIRS
1998
13 years 7 months ago
1998
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
AAAI
2008
13 years 8 months ago
2008
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
AAAI
2008
13 years 8 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
PPPJ
2009
ACM
14 years 12 days ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...