217 search results - page 12 / 44 » Logical Formal Description of Expert Systems |
132
click to vote
IJCAI
1993
15 years 5 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
164
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
127
click to vote
CIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The description of public resources such as web site contents, web services or data files in open peer-to-peer networks using some formal framework like RDF usually re...
135
click to vote
CAEPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
140
click to vote
AMAI
2008
Springer
15 years 4 months ago
2008
Springer
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...