Modal and meta languages: consistency and expressiveness

Authors:
Luigia Carlucci Aiello;Marta Cialdea;Daniele Nardi;Marco Schaerf
Affiliations:
-;-;-;-
Venue:
Meta-logics and logic programming
Year:
1995

Citing 0
Cited 2

Meta-reasoning: A Survey

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
From logic programming semantics to the consistency of syntactical treatments of knowledge and belief

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract