Sciweavers

260 search results - page 11 / 52
» Merging Belief Bases Represented by Logic Programs
Sort
View
JOLLI
2008
145views more  JOLLI 2008»
13 years 7 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack
DALT
2005
Springer
14 years 19 days ago
Agent-Oriented Programming with Underlying Ontological Reasoning
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
Álvaro F. Moreira, Renata Vieira, Rafael H....
JLP
2000
104views more  JLP 2000»
13 years 6 months ago
Dynamic updates of non-monotonic knowledge bases
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
José Júlio Alferes, João Alex...
ICIP
2010
IEEE
13 years 4 months ago
Transferable Belief Model for hair mask segmentation
In this paper, we present a study of transferable belief model for automatic hair segmentation process. Firstly, we recall the transferable Belief Model. Secondly, we defined for ...
Cédric Rousset, Pierre Yves Coulon, Mich&eg...
AAAI
2007
13 years 9 months ago
A Modal Logic for Beliefs and Pro Attitudes
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds