MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Guarded Fixed Point Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

Guarded Fixed Point Logic
by Erich Grädel, Igor Walukiewicz — 1999
…Guarded Fixed Point Logic Erich Gradel 1 RWTH Aachen Igor Walukiewicz 2 Warsaw University…
Cited by 45 (3 self) – Add To MetaCart

Guarded Fixed Point Logics and the Monadic Theory of Countable Trees
by Erich Grädel — 2000
…Guarded xed point logics and the monadic theory of countable trees Erich Gradel Mathematische…
Cited by 1 (0 self) – Add To MetaCart

Games and Model Checking for Guarded Logics
by Dietmar Berwanger, Erich Grädel, Mathematische Grundlagen Der Informatik, Rwth Aachen — 2000 — in Proceedings of LPAR 2001, Lecture Notes in Computer Science Nr. 2250
… their relationship to specic fragments of guarded xed point logics. 1 Introduction Guarded logics are fragments…
Cited by 7 (4 self) – Add To MetaCart

Decision Procedures for Guarded Logics
by Erich Grädel — 1999 — In Automated Deduction - CADE16. Proceedings of 16th International Conference on Automated Deduction
… generalization of modal logics) are surveyed and the recent decidability result for guarded fixed point logic…
Cited by 19 (0 self) – Add To MetaCart

Linear Time Datalog and Branching Time Logic
by Georg Gottlob, Erich Grädel, Helmut Veith
… is equivalent in expressive power to alternation-free guarded fixed point logic, a natural fragment…
Cited by 5 (2 self) – Add To MetaCart

Guarded open answer set programming
by Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir, Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir — 2005
… (loosely) guarded fixed point logic (µ(L)GF). Moreover, we reduce normal closed ASP to loosely guarded OASP…
Cited by 18 (7 self) – Add To MetaCart

Guarded Open Answer Set Programming with Generalized Literals
by Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir — 2005 — In Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006
… to guarded fixed point logic (µGF), in which satisfiability checking is 2-EXPTIME-complete, we deduce 2…
Cited by 4 (2 self) – Add To MetaCart

Datalog LITE: Temporal versus deductive reasoning in verification
by Georg Gottlob, Erich Grädel, Helmut Veith — 1998
… expressive power as the alternation-free portion of guarded fixed point logic. 1 Introduction Model Checking…
Cited by 9 (1 self) – Add To MetaCart

Guarded Open Answer Set Programming
by Stijn Heymans Davy, Davy Van Nieuwenborgh, Dirk Vermeir — 2005
…) guarded programs falls in the decidable (loosely) guarded fixed point logic (µ(L)GF). Moreover, we reduce…
Add To MetaCart

DOI: 10.1007/s00224-004-1147-5
by Theory Comput Systems, Dietmar Berwanger, Erich Grädel, Springer Science+business Media
… to transitive closure logic. We also consider the solitaire fragment of guarded fixed-point logics. Due…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB