Guarded horn clauses

Logic Programming '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-16479-0_17 ◽

1986 ◽

pp. 168-179 ◽

Author(s):

Kazunori Ueda

Keyword(s):

Download Full-text

Specification synthesis with constrained Horn clauses

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454104 ◽

2021 ◽

Author(s):

Sumanth Prabhu ◽

Grigory Fedyukovich ◽

Kumar Madhukar ◽

Deepak D'Souza

Keyword(s):

Horn Clauses ◽

Specification Synthesis

Download Full-text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ◽

10.1109/lics52264.2021.9470527 ◽

2021 ◽

Author(s):

Toby Cathcart Burn ◽

Luke Ong ◽

Steven Ramsay ◽

Dominik Wagner

Keyword(s):

Download Full-text

Automating Induction for Solving Horn Clauses

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63390-9_30 ◽

2017 ◽

pp. 571-591 ◽

Author(s):

Hiroshi Unno ◽

Sho Torii ◽

Hiroki Sakamoto

Keyword(s):

Download Full-text

Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.344.4 ◽

2021 ◽

Vol 344 ◽

pp. 36-64

Author(s):

Jerome Jochems

Keyword(s):

Higher Order ◽

Horn Clauses ◽

Recursion Scheme

Download Full-text

Verification of Time-Aware Business Processes Using Constrained Horn Clauses

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63139-4_3 ◽

2017 ◽

pp. 38-55

Author(s):

Emanuele De Angelis ◽

Fabio Fioravanti ◽

Maria Chiara Meo ◽

Alberto Pettorossi ◽

Maurizio Proietti

Keyword(s):

Business Processes ◽

Horn Clauses ◽

Download Full-text

Multiple-valued Horn clauses and their WAM compilation

A Tight, Practical Integration of Relations and Functions - Lecture Notes in Computer Science ◽

10.1007/bfb0103296 ◽

1999 ◽

pp. 117-160

Keyword(s):

Download Full-text

Normalization of Linear Horn Clauses

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-642-19829-8_16 ◽

2011 ◽

pp. 242-257

Author(s):

Thomas Martin Gawlitza ◽

Helmut Seidl ◽

Kumar Neeraj Verma

Keyword(s):

Download Full-text

Horn Clauses: Negative Inversion

Classical NEG Raising ◽

10.7551/mitpress/9704.003.0020 ◽

2014 ◽

Keyword(s):

Download Full-text

Horn Clauses: Preliminaries

Classical NEG Raising ◽

10.7551/mitpress/9780262027311.003.0013 ◽

2014 ◽

pp. 125-132

Author(s):

Chris Collins ◽

Paul M. Postal

Keyword(s):

Download Full-text

On solving the equality problem in theories defined by Horn clauses

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_292 ◽

1985 ◽

pp. 363-377 ◽

Author(s):

E. Paul

Keyword(s):

Horn Clauses ◽

Equality Problem

Download Full-text