420 search results - page 5 / 84 » Reasoning about Evolving Nonmonotonic Knowledge Bases |
98
Voted
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
118
Voted
CLIMA
2006
15 years 1 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
146
Voted
LPNMR
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...
111
Voted
JAIR
2007
15 years 5 days ago
2007
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...
IJCAI
1993
15 years 1 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...