Search Results - "Horn clauses"

Paths, tree homomorphisms and disequalities for -clauses.

Authors: REUß, ANDREAS SEIDL, HELMUT

Source: Mathematical Structures in Computer Science. Nov2018, Vol. 28 Issue 10, p1786-1846. 61p.

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

Authors: FARKA, FRANTIŠEK KOMENDANTSKYA, EKATERINA HAMMOND, KEVIN et al.

Source: Theory & Practice of Logic Programming. May2018, Vol. 18 Issue 3/4, p484-501. 18p.

Solving Horn Clauses on Inductive Data Types Without Induction.

Authors: DE ANGELIS, EMANUELE FIORAVANTI, FABIO PETTOROSSI, ALBERTO et al.

Source: Theory & Practice of Logic Programming. May2018, Vol. 18 Issue 3/4, p452-469. 18p.

An iterative approach to precondition inference using constrained Horn clauses.

Authors: KAFLE, BISHOKSAN GALLAGHER, JOHN P. GANGE, GRAEME et al.

Source: Theory & Practice of Logic Programming. May2018, Vol. 18 Issue 3/4, p553-570. 18p.

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

Authors: LOPEZ-GARCIA, P. DARMAWAN, L. KLEMEN, M. et al.

Source: Theory & Practice of Logic Programming. Mar2018, Vol. 18 Issue 2, p167-223. 57p.

Tree dimension in verification of constrained Horn clauses.

Authors: KAFLE, BISHOKSAN GALLAGHER, JOHN P. GANTY, PIERRE

Source: Theory & Practice of Logic Programming. Mar2018, Vol. 18 Issue 2, p224-251. 28p.

Predicate Pairing for program verification.

Authors: DE ANGELIS, EMANUELE FIORAVANTI, FABIO PETTOROSSI, ALBERTO et al.

Source: Theory & Practice of Logic Programming. Mar2018, Vol. 18 Issue 2, p126-166. 41p.

A Knowledge Base Completion Model Based on Path Feature Learning.

Authors: Lin, X. Liang, Y. Wang, L. et al.

Source: International Journal of Computers, Communications & Control; Feb2018, Vol. 13 Issue 1, p71-82, 12p, 1 Diagram, 5 Charts, 1 Graph

HORN CLAUSES.

Authors: Jeffery, John M. Loho, Jorge Murata, Tadao

Source: Encyclopedia of Electrical & Electronics Engineering. 1999 1st Edition, Vol. 9, p195-203. 9p.

Subjects: Horn clauses, Computer science, Logic programming, Information technology, Computer software, Databases

Automated analysis of security protocols with global state.

Authors: Kremer, Steve Künnemann, Robert

Source: Journal of Computer Security; 2016, Vol. 24 Issue 5, p583-616, 73p

Relational information gain.

Authors: Lippi, Marco Jaeger, Manfred Frasconi, Paolo et al.

Source: Machine Learning. May2011, Vol. 83 Issue 2, p219-239. 21p.

Subjects: Electronic data processing, Horn clauses, Entropy (Information theory), Search algorithms, Decision trees, Data modeling

Lazy List Comprehension in Logic Programming.

Authors: ELBL, BIRGIT¹ birgit@informatik.unibw-muenchen.de

Source: Journal of Logic & Computation. Oct2002, Vol. 12 Issue 5, p747-771. 25p.

Subjects: Programming languages, Horn clauses, Finite differences, Semantics, Comprehension, Axioms

Random Horn Formulas and Propagation Connectivity for Directed Hypergraphs.

Authors: Sloan, Robert H. Stasi, Despina Tur´n, György

Source: Discrete Mathematics & Theoretical Computer Science (DMTCS). 2012, Vol. 14 Issue 2, p29-36. 7p.

Subjects: Random measures, Horn clauses, Mathematical variables, Probability theory, Probability measures

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

Authors: HIDEAKI SUZUKI MIKIO YOSHIDA HIDEFUMI SAWAI

Source: Journal of Information Science & Engineering. May2014, Vol. 30 Issue 3, p669-689. 18p.

Subjects: Horn clauses, Logic programming, Logic circuits, Computer networks, Numerical analysis, Stochastic convergence

Distributional Learning of Some Nonlinear Tree Grammars.

Authors: Clark, Alexander Makoto Kanazawa Kobele, Gregory M. et al.

Source: Fundamenta Informaticae; 2016, Vol. 146 Issue 4, p339-377, 39p

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

Authors: GANGE, GRAEME NAVAS, JORGE A. SCHACHTE, PETER et al.

Source: Theory & Practice of Logic Programming. Jul2015, Vol. 15 Issue 4/5, p526-542. 17p.

Renaming Methods for Set of Clauses Using Bit Sequences.

Authors: Nishioka, Hiroaki¹

Source: Systems & Computers in Japan. 12/1/94, Vol. 25 Issue 14, p49-57. 9p.

Subjects: Horn clauses, Heuristic programming, Computer programming, Logic programming, Computer science, Computer systems

Probabilistic Datalog: Implementing Logical Information Retrieval for Advanced Applications.

Authors: Fuhr, Norbert

Source: Journal of the American Society for Information Science. Jan2000, Vol. 51 Issue 2, p95-110. 16p.

Subjects: Horn clauses, Information retrieval

Logical inference of clauses based on Petri net models.

Authors: Chuang Lin Chanson, Samuel T.

Source: International Journal of Intelligent Systems. Sep98, Vol. 13 Issue 9, p821-840. 20p.

Subjects: Horn clauses, Inference (Logic), Petri nets, Logic programming, Graph theory, Nets (Mathematics)

A Reducing Method for Set of Clauses using Matrices.

Authors: Nishioka, Hiroaki¹

Source: Systems & Computers in Japan. Jul87, Vol. 18 Issue 7, p1-10. 10p.

Subjects: Matrices (Mathematics), Horn clauses, Logic programming, Computer programming, Computer systems