ECAI 92: 10th European Conference on Artificial Intelligence, August 3-7, 1992, Vienna, Austria : ProceedingsBernd Neumann |
From inside the book
Results 1-3 of 90
Page 92
... logic programming , first proposed in [ 1 ] , is an elegant , yet powerful extension of logic pro- gramming that models nonmonotonic reasoning by allow- ing rules with negated heads , along with explicit prefer- ence criteria among such ...
... logic programming , first proposed in [ 1 ] , is an elegant , yet powerful extension of logic pro- gramming that models nonmonotonic reasoning by allow- ing rules with negated heads , along with explicit prefer- ence criteria among such ...
Page 109
... Logic Programs P. M. Hill Division of Artificial Intelligence , School of ... Programming * ECAI 92. 10th European. Abstract . Types provide a useful level ... logic programming languages with a type sys- tem that supports generic and ad ...
... Logic Programs P. M. Hill Division of Artificial Intelligence , School of ... Programming * ECAI 92. 10th European. Abstract . Types provide a useful level ... logic programming languages with a type sys- tem that supports generic and ad ...
Page 118
... with in- tegrity constraints . In E. Lamma and P. Mello , edi- tors , Preproc . of 3th International Workshop on Ex- tensions of Logic Programming , pages 19-34 , 1992 . Abstract . In this paper we present an extension of 118 Logic ...
... with in- tegrity constraints . In E. Lamma and P. Mello , edi- tors , Preproc . of 3th International Workshop on Ex- tensions of Logic Programming , pages 19-34 , 1992 . Abstract . In this paper we present an extension of 118 Logic ...
Common terms and phrases
10th European Conference abductive Abstract action agents algorithm application approach architecture Artificial Intelligence Edited assumptions atoms belief belief revision blackboard classical clauses CLP(R complex components Computer concept Conference on Artificial connectionist consider consistent constraints corresponding deduction default logic default theory defined definition denote derived described domain domain theory ECAI 92 evaluation event event calculus example Expert Systems extension formal formula function given goal heuristic Horn clauses hypotheses inconsistent induction inference input interpretation knowledge base knowledge representation learning lexical literals logic pro logic programming Machine Learning method minimal modal logic Neumann node nonmonotonic objects operator possible predicate problem solving Proc proof propositional reactive planning reasoning References relation representation represented rules satisfied semantics solution specific stable model strategy structure subset syntactic task temporal theorem tion tree Truth Maintenance System variables