Lecture Notes in Computer Science - Logics in AI
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540536864, 9783540469827
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A constraint logic approach to modal deduction

1991 ◽  
pp. 234-250 ◽  
Author(s):  
Alan M. Frisch ◽  
Richard B. Scherl
Keyword(s):  
Logic Approach

Theoretical circumscription in partial modal logic

1991 ◽  
pp. 301-316 ◽  
Author(s):  
Jan Jaspars
Keyword(s):  
Modal Logic

Partial semantics for truth maintenance

1991 ◽  
pp. 544-561 ◽  
Author(s):  
Cees Witteveen
Keyword(s):  
Partial Semantics ◽  
Truth Maintenance

scholarly journals Anaphora and the logic of change

1991 ◽  
pp. 412-427 ◽  
Author(s):  
Reinhard Muskens

What is a Horn clause in partial logic?

1991 ◽  
pp. 65-77
Author(s):  
Tore Langholm
Keyword(s):  
Horn Clause ◽  
Partial Logic

Extending resolution for model construction

1991 ◽  
pp. 153-169 ◽  
Author(s):  
Ricardo Caferra ◽  
Nicolas Zabel
Keyword(s):  
Model Construction

On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs

1991 ◽  
pp. 454-471
Author(s):  
Amir Rahat ◽  
Nissim Francez ◽  
Oded Shmueli
Keyword(s):  
Logic Programs

Towards a formal theory of intentions

1991 ◽  
pp. 472-486 ◽  
Author(s):  
Munindar P. Singh ◽  
Nicholas M. Asher
Keyword(s):  
Formal Theory

The net-clause language — A tool for data-driven inference

1991 ◽  
pp. 366-385 ◽  
Author(s):  
Zdravko Markov ◽  
Christo Dichev
Keyword(s):  
Data Driven
Load More ...
Sign in / Sign up

Export Citation Format

Share Document