Works matching DE "HORN clauses"

Results: 30

Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 484, doi. 10.1017/S1471068418000212

By:

FARKA, FRANTIŠEK;
KOMENDANTSKYA, EKATERINA;
HAMMOND, KEVIN;
Dal Palu, Alessandro;
Tarau, Paul

Publication type:

Article

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 2, p. 167, doi. 10.1017/S1471068418000042

By:

LOPEZ-GARCIA, P.;
DARMAWAN, L.;
KLEMEN, M.;
LIQAT, U.;
BUENO, F.;
HERMENEGILDO, M. V.

Publication type:

Article

Tree dimension in verification of constrained Horn clauses.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 2, p. 224, doi. 10.1017/S1471068418000030

By:

KAFLE, BISHOKSAN;
GALLAGHER, JOHN P.;
GANTY, PIERRE

Publication type:

Article

Solving Horn Clauses on Inductive Data Types Without Induction.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 452, doi. 10.1017/S1471068418000157

By:

DE ANGELIS, EMANUELE;
FIORAVANTI, FABIO;
PETTOROSSI, ALBERTO;
PROIETTI, MAURIZIO;
Dal Palu, Alessandro;
Tarau, Paul

Publication type:

Article

An iterative approach to precondition inference using constrained Horn clauses.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 3/4, p. 553, doi. 10.1017/S1471068418000091

By:

KAFLE, BISHOKSAN;
GALLAGHER, JOHN P.;
GANGE, GRAEME;
SCHACHTE, PETER;
SØNDERGAARD, HARALD;
STUCKEY, PETER J.;
Dal Palu, Alessandro;
Tarau, Paul

Publication type:

Article

Predicate Pairing for program verification.

Published in:

Theory & Practice of Logic Programming, 2018, v. 18, n. 2, p. 126, doi. 10.1017/S1471068417000497

By:

DE ANGELIS, EMANUELE;
FIORAVANTI, FABIO;
PETTOROSSI, ALBERTO;
PROIETTI, MAURIZIO

Publication type:

Article

Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.

Published in:

2016

By:

Finkbeiner, Bernd;
Sanchez, Cesar

Publication type:

Editorial

Relational information gain.

Published in:

Machine Learning, 2011, v. 83, n. 2, p. 219, doi. 10.1007/s10994-010-5194-7

By:

Lippi, Marco;
Jaeger, Manfred;
Frasconi, Paolo;
Passerini, Andrea

Publication type:

Article

Editorial.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 2, p. 261

By:

FERNÁNDEZ, MARIBEL

Publication type:

Article

Lazy List Comprehension in Logic Programming.

Published in:

Journal of Logic & Computation, 2002, v. 12, n. 5, p. 747, doi. 10.1093/logcom/12.5.747

By:

ELBL, BIRGIT

Publication type:

Article

A logic-based approach to program flow analysis.

Published in:

Acta Informatica, 1998, v. 35, n. 6, p. 457, doi. 10.1007/s002360050128

By:

Sagiv, Mooly;
Francez, Nissim;
Rodeh, Michael;
Wilhelm, Reinhard

Publication type:

Article

REACHABILITY FOR FINITE-STATE PROCESS ALGEBRAS USING HORN CLAUSES.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 2, p. 283, doi. 10.1142/S0129054113400121

By:

SKRYPNYUK, NATALIYA;
NIELSON, FLEMMING

Publication type:

Article

Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base.

Published in:

ORSA Journal on Computing, 1989, v. 1, n. 1, p. 7, doi. 10.1287/ijoc.1.1.7

By:

Jeroslow, Robert G.;
Wang, Jinchang

Publication type:

Article

A SIMPLE ALGORITHM FOR DEDUCTION.

Published in:

ANZIAM Journal, 2009, v. 51, n. 1, p. 102, doi. 10.1017/S1446181109000352

By:

Whiten, Bill

Publication type:

Article

A Knowledge Base Completion Model Based on Path Feature Learning.

Published in:

International Journal of Computers, Communications & Control, 2018, v. 13, n. 1, p. 71, doi. 10.15837/ijccc.2018.1.3104

By:

Lin, X.;
Liang, Y.;
Wang, L.;
Wang, X.;
Yang, M.;
Guan, R.

Publication type:

Article

Logical inference of clauses based on Petri net models.

Published in:

International Journal of Intelligent Systems, 1998, v. 13, n. 9, p. 821, doi. 10.1002/(SICI)1098-111X(199809)13:9<821::AID-INT3>3.0.CO;2-K

By:

Chuang Lin;
Chanson, Samuel T.

Publication type:

Article

A Network Representation of First-Order Logic That Uses Token Evolution for Inference.

Published in:

Journal of Information Science & Engineering, 2014, v. 30, n. 3, p. 669

By:

HIDEAKI SUZUKI;
MIKIO YOSHIDA;
HIDEFUMI SAWAI

Publication type:

Article

Model transformation by example using inductive logic programming.

Published in:

Software & Systems Modeling, 2009, v. 8, n. 3, p. 347, doi. 10.1007/s10270-008-0092-1

By:

Balogh, Zoltán;
Varró, Dániel

Publication type:

Article

Does Neg-Raising Involve Neg-Raising?

Published in:

Topoi: An International Review of Philosophy, 2018, v. 37, n. 3, p. 417, doi. 10.1007/s11245-017-9461-0

By:

Zeijlstra, Hedde

Publication type:

Article

Paths, tree homomorphisms and disequalities for -clauses.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 10, p. 1786, doi. 10.1017/S096012951700024X

By:

REUß, ANDREAS;
SEIDL, HELMUT

Publication type:

Article

Proving correctness of imperative programs by linearizing constrained Horn clauses.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 635, doi. 10.1017/S1471068415000289

By:

DE ANGELIS, EMANUELE;
FIORAVANTI, FABIO;
PETTOROSSI, ALBERTO;
PROIETTI, MAURIZIO;
Eiter, Thomas;
Toni, Francesca

Publication type:

Article

Horn clauses as an intermediate representation for program analysis and transformation.

Published in:

Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 526, doi. 10.1017/S1471068415000204

By:

GANGE, GRAEME;
NAVAS, JORGE A.;
SCHACHTE, PETER;
SØNDERGAARD, HARALD;
STUCKEY, PETER J.;
Eiter, Thomas;
Toni, Francesca

Publication type:

Article

A declarative extension of horn clauses, and its significance for datalog and its applications.

Published in:

Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 609, doi. 10.1017/S1471068413000380

By:

MAZURAN, MIRJANA;
SERRA, EDOARDO;
ZANIOLO, CARLO;
Lamma, Evelina;
Swift, Terrance

Publication type:

Article

Fast Frequent Querying with Lazy Control Flow Compilation.

Published in:

Theory & Practice of Logic Programming, 2007, v. 7, n. 4, p. 481, doi. 10.1017/S1471068406002894

By:

REMKO TRONÇON;
GERDA JANSSENS;
BART DEMOEN;
HENK VANDECASTEELE

Publication type:

Article

Automatic generation of CHR constraint solvers.

Published in:

Theory & Practice of Logic Programming, 2005, v. 5, n. 4/5, p. 403, doi. 10.1017/S1471068405002371

By:

SLIM ABDENNADHER;
CHRISTOPHE RIGOTTI

Publication type:

Article

Knowledge and the Concept of Knowledge Society.

Published in:

Ovidius University Annals, Series Economic Sciences, 2014, v. 14, n. 1, p. 333

By:

Eugenia, Iancu;
Paul, Paşcu;
Nicolae, Morariu

Publication type:

Article

A sharing-based approach to supporting adaptation in service compositions.

Published in:

Computing, 2013, v. 95, n. 6, p. 453, doi. 10.1007/s00607-012-0230-z

By:

Ivanović, Dragan;
Carro, Manuel;
Hermenegildo, Manuel

Publication type:

Article

Creating a Probabilistic Model forWordNet.

Published in:

International Journal for Computers & Their Applications, 2016, v. 23, n. 3, p. 176

By:

Stanchev, Lubomir

Publication type:

Article

Continuous fuzzy Horn logic.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 2, p. 171, doi. 10.1002/malq.200510025

By:

Vychodil, Vilém

Publication type:

Article

Trace Abstraction Refinement for Solving Horn Clauses.

Published in:

Computer Journal, 2016, v. 59, n. 8, p. 1236, doi. 10.1093/comjnl/bxw017

By:

WEIFENG WANG;
LI JIAO

Publication type:

Article