Author image not provided
 Guy Rey

Authors:
Add personal information
 
Bibliometrics: publication history
Average citations per article3.00
Citation Count9
Publication count3
Publication years2000-2002
Available for download1
Average downloads per article364.00
Downloads (cumulative)364
Downloads (12 Months)4
Downloads (6 Weeks)0
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


3 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 3 of 3
Sort by:

1 published by ACM
October 2002 ACM Transactions on Computational Logic (TOCL): Volume 3 Issue 4, October 2002
Publisher: ACM
Bibliometrics:
Citation Count: 5
Downloads (6 Weeks): 0,   Downloads (12 Months): 4,   Downloads (Overall): 364

Full text available: PDFPDF
In this article, we introduce first-order autoepistemic logic. Our definition is semantical and is based on the intuition similar to that lying behind the definition of first-order default logic. Thus, our definition of first-order autoepistemic logic well complies with that of first-order default logic and circumscription, providing a substantial evidence ...
Keywords: default logic, Autoepistemic logic, Herbrand semantics

2
December 2000 Fundamenta Informaticae: Volume 42 Issue 3,4, December 2000
Publisher: IOS Press
Bibliometrics:
Citation Count: 1

In this paper we introduce first-order non-monotonic modal logic and study its properties. Our definition is semantical and is based on the intuition similar to that lying behind the definition of first-order default logic. Thus, our definition of first-order non-monotonic modal logic well complies with that of first-order default logic ...

3
July 2000 Fundamenta Informaticae: Volume 42 Issue 3,4, July 2000
Publisher: IOS Press
Bibliometrics:
Citation Count: 3




The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us