Results 111 to 113 of about 763,157 (113)

Relating the TMS to autoepistemic logic

open access: closed, 1989
Yasushi Fujiwara, Shinichi Honiden
openalex  

A Decision Procedure for Multi-Agent Autoepistemic Logic : Formula Translation Method

open access: closed, 1996
Hideto Ogawa   +2 more
openalex  
Some of the next articles are maybe not open access.

Related searches:

Intuitionistic Modal Calculus for Autoepistemic Logic

1991
Gianni Amati   +2 more
openaire   +1 more source
description logic
multimodal logic
non-monotonic logic
artificial intelligence
theoretical computer science
programming language
philosophy
default logic
semantics computer science
previous   10  11  12  

Home - About - Disclaimer - Privacy