Sciweavers

1137 search results - page 34 / 228
» Knowledge Representation with Logic Programs
Sort
View
FSS
2008
145views more  FSS 2008»
13 years 8 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...
FUZZIEEE
2007
IEEE
14 years 3 months ago
f-DLPs: Extending Description Logic Programs with Fuzzy Sets and Fuzzy Logic
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou...
KI
2006
Springer
13 years 8 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
ECAI
2004
Springer
14 years 2 months ago
From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
Noël Laverny, Jérôme Lang
VL
2003
IEEE
149views Visual Languages» more  VL 2003»
14 years 2 months ago
A program visualization tool for program comprehension
At the beginning stage of programming education, comprehending program logics plays a more important role than capturing knowledge of a specific program language. In this paper, t...
Mikio Ohki, Yasuo Hosaka