A clausal resolution method for branching-time logic ECTL⁺

By Bolotov Alexander   Basukoski Artie  

Annals of Mathematics and Artificial Intelligence, Vol. 46, Iss. 3, 2006-03 ,pp. : 235-263

Springer Publishing Company

Access to resources Recommend Favorite

Clausal Logic and Logic Programming in Algebraic Domains

By Rounds W.C.   Zhang G-Q.  

Information and Computation, Vol. 171, Iss. 2, 2001-12 ,pp. : 183-200

Academic Press

Access to resources Recommend Favorite

Using clausal deductive databases for defining semantics in disjunctive deductive databases

By Seipel D.  

Annals of Mathematics and Artificial Intelligence, Vol. 33, Iss. 2-4, 2001-12 ,pp. : 347-378

Springer Publishing Company

Access to resources Recommend Favorite

Annotated reasoning

By Hutter D.  

Annals of Mathematics and Artificial Intelligence, Vol. 29, Iss. 1-4, 2000-01 ,pp. : 183-222

Springer Publishing Company

Access to resources Recommend Favorite

A note on reasoning conditions of Koczy's interpolative reasoning method

By Yan S.   Mizumoto M.  

Fuzzy Sets and Systems, Vol. 96, Iss. 3, 1998-06 ,pp. : 373-379

Elsevier

Access to resources Recommend Favorite