Sciweavers

442 search results - page 12 / 89
» Knowledge Representation Using High-Level Non-monotonic Reas...
Sort
View
IJCAI
2007
13 years 9 months ago
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
Chitta Baral, Matt Hunsaker
ECEASST
2008
87views more  ECEASST 2008»
13 years 7 months ago
Visual Design and Reasoning with the Use of Hypergraph Transformations
: This paper deals with visual design and reasoning. A visual language with its internal representation in the form of attributed hierarchical hypergraphs is discussed. Hypergraph ...
Ewa Grabska, Grazyna Maria Slusarczyk, Truong Lan ...
ECSQARU
2009
Springer
13 years 11 months ago
The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases
In this paper, a new algebraic representation by the non-Archimedean fields is proposed to model stratified/ranked knowledge bases. The non-Archimedean representation is in the for...
Jianbing Ma, Weiru Liu, Anthony Hunter
AMSTERDAM
2009
13 years 5 months ago
The Data Complexity of the Syllogistic Fragments of English
Abstract. Pratt and Third's syllogistic fragments of English can be used to capture, in addition to syllogistic reasoning, many other kinds of common sense reasoning, and, in ...
Camilo Thorne, Diego Calvanese
LPNMR
2001
Springer
14 years 3 days ago
Multi-dimensional Dynamic Knowledge Representation
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
João Alexandre Leite, José Jú...