260 search results - page 24 / 52 » Merging Belief Bases Represented by Logic Programs |
125
click to vote
VSTTE
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
115
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
115
click to vote
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic, formulas in rules are evaluated using the cl...
147
click to vote
CLIMA
2004
15 years 3 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...