Sciweavers

925 search results - page 107 / 185
» Probabilistic and Logical Beliefs
Sort
View
COMMA
2008
13 years 9 months ago
Argument Theory Change: Revision Upon Warrant
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...
Nicolás D. Rotstein, Martín O. Mogui...
KAIS
2007
95views more  KAIS 2007»
13 years 8 months ago
Handling non-canonical software requirements based on Annotated Predicate Calculus
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...
Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng
IPL
2006
99views more  IPL 2006»
13 years 8 months ago
Computational complexity of queries based on itemsets
We investigate determining the exact bounds of the frequencies of conjunctions based on frequent sets. Our scenario is an important special case of some general probabilistic logi...
Nikolaj Tatti
ARGMAS
2007
Springer
14 years 2 months ago
Defeasible Argumentation Support for an Extended BDI Architecture
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
Nicolás D. Rotstein, Alejandro Javier Garc&...
ECAI
2010
Springer
13 years 9 months ago
On Semantic Update Operators for Answer-Set Programs
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
Martin Slota, João Leite