Sciweavers

2599 search results - page 14 / 520
» An Operational Semantics for Knowledge Bases
Sort
View
ECSQARU
2009
Springer
15 years 4 months ago
Merging Belief Bases Represented by Logic Programs
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
Julien Hué, Odile Papini, Eric Würbel
IGPL
2006
115views more  IGPL 2006»
14 years 9 months ago
Towards Operational Abduction from a Cognitive Perspective
Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This...
Peter Bruza, Richard Cole, Dawei Song, Zeeniya Bar...
JAVA
1999
Springer
15 years 1 months ago
An Event-Based Structural Operational Semantics of Multi-Threaded Java
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
63
Voted
AMAST
1997
Springer
15 years 1 months ago
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
FOIKS
2008
Springer
14 years 11 months ago
Merging First-Order Knowledge Using Dilation Operators
The area of knowledge merging is concerned with merging conflicting information while preserving as much as possible. Most proposals in the literature work with knowledge bases exp...
Nikos Gorogiannis, Anthony Hunter