Sciweavers

8232 search results - page 62 / 1647

» Dynamic Logic Programming

102

CORR
2008
Springer

128views Education» more CORR 2008»

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

15 years 4 months ago

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

Download tocl.acm.org

Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...

claim paper

Read More »

107

IGPL
2008

66views more IGPL 2008»

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

15 years 4 months ago

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

119

ENTCS
2007

90views more ENTCS 2007»

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

15 years 4 months ago

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

Download santos.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

134

FUIN
2007

220views more FUIN 2007»

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

15 years 4 months ago

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Download dtai.cs.kuleuven.be

Joost Vennekens, Johan Wittocx, Maarten Marië...

claim paper

Read More »

132

Voted

TABLEAUX
2007
Springer

140views Artificial Intelligence» more TABLEAUX 2007»

A Tableau Method for Public Announcement Logics

15 years 10 months ago

A Tableau Method for Public Announcement Logics

Download personal.us.es

Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...

Philippe Balbiani, Hans P. van Ditmarsch, Andreas ...

claim paper

Read More »

« Prev « First page 62 / 1647 Last » Next »