Practical Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

58
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540613138, 9783540684541
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A tableau calculus for first-order branching time logic

1996 ◽  
pp. 399-413 ◽  
Author(s):  
Wolfgang May ◽  
Peter H. Schmitt
Keyword(s):  
Branching Time ◽  
First Order ◽  
Time Logic

Commands in dialogue logic

1996 ◽  
pp. 246-260 ◽  
Author(s):  
Roderic A. Girle

Human reasoning with negative defaults

1996 ◽  
pp. 606-621 ◽  
Author(s):  
Carl Vogel
Keyword(s):  
Human Reasoning

scholarly journals General domain circumscription and its first-order reduction

1996 ◽  
pp. 93-109
Author(s):  
Patrick Doherty ◽  
Witold Łukaszewicz ◽  
Andrzej Szałas
Keyword(s):  
Order Reduction ◽  
General Domain ◽  
First Order

Goals in argumentation

1996 ◽  
pp. 223-230 ◽  
Author(s):  
Michael A. Gilbert

On the semantics of the unknown

1996 ◽  
pp. 622-636
Author(s):  
Steffo Weber

Graded inheritance nets for knowledge representation

1996 ◽  
pp. 436-448
Author(s):  
Ingrid Neumann
Keyword(s):  
Knowledge Representation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document