Search results for "Horn"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Qian Wang 0024, Gopal Gupta 0001	Continuation Semantics as Horn Clauses.	LOPSTR	2003	DBLP DOI BibTeX RDF
32	James J. Lu, Neil V. Murray, Erik Rosenthal	Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics.	ISMIS	2000	DBLP DOI BibTeX RDF
32	Marta Arias, Roni Khardon	A New Algorithm for Learning Range Restricted Horn Expressions.	ILP	2000	DBLP DOI BibTeX RDF
32	Matteo Baldoni, Laura Giordano 0001, Alberto Martelli	Translating a Modal Language with Embedded Implication into Horn Clause Logic.	ELP	1996	DBLP DOI BibTeX RDF	Multimodal Logic, Embedded Implication, Translation
32	Mino Bai, Howard A. Blair	General Model Theoretic Semantics for Higher-Order Horn Logic Programming.	LPAR	1992	DBLP DOI BibTeX RDF
32	Toshiro Wakayama, T. H. Payne	Case-Free Programs: An Abstraction of Definite Horn Programs.	CADE	1990	DBLP DOI BibTeX RDF
32	Saumya K. Debray, Nai-Wei Lin	Static Estimation of Query Sizes in Horn Programs.	ICDT	1990	DBLP DOI BibTeX RDF
32	Michael Hanus	Horn Clause Programs with Polymorphic Types: Semantics and Resolution.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
32	Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten	Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.	MFCS	1989	DBLP DOI BibTeX RDF
32	Masaki Murakami	Proving Partial Correctness of Guarded Horn Clauses Programs.	LP	1987	DBLP DOI BibTeX RDF
32	Jerzy Marcinkowski, Leszek Pacholski	Undecidability of the Horn-Clause Implication Problem	FOCS	1992	DBLP DOI BibTeX RDF	derivation trees, Horn-clause implication, atomic formulas, decidability problems, pure predicate logic, equality symbol
28	Julien Braine	The Data-abstraction Framework: abstracting unbounded data-structures in Horn clauses, the case of arrays. (La Méthode Data-abstraction: une technique d'abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux).		2022	RDF
28	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Contract Strengthening through Constrained Horn Clause Verification.	HCVS/VPT@ETAPS	2022	DBLP DOI BibTeX RDF
28	Hossein Hojjat, Philipp Rümmer	OptiRica: Towards an Efficient Optimizing Horn Solver.	HCVS/VPT@ETAPS	2022	DBLP DOI BibTeX RDF
28	Bruno Blanchet	The Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm.	HCVS/VPT@ETAPS	2022	DBLP DOI BibTeX RDF
28	Stefan Hetzl, Johannes Kloibhofer	A Fixed-point Theorem for Horn Formula Equations.	HCVS@ETAPS	2021	DBLP DOI BibTeX RDF
28	Jerome Jochems	Reducing Higher-order Recursion Scheme Equivalence to Coinductive Higher-order Constrained Horn Clauses.	HCVS@ETAPS	2021	DBLP DOI BibTeX RDF
28	Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter	A Journey into Ontology Approximation: From Non-Horn to Horn.	CoRR	2020	DBLP BibTeX RDF
28	Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter	A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract).	Description Logics	2020	DBLP BibTeX RDF
28	Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter	A Journey into Ontology Approximation: From Non-Horn to Horn.	IJCAI	2020	DBLP DOI BibTeX RDF
28	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.	HCVS/PERR@ETAPS	2019	DBLP DOI BibTeX RDF
28	Ekaterina Komendantskaya, Yue Li 0021	Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper.	HCVS	2018	DBLP DOI BibTeX RDF
28	António Ravara	A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm.	HCVS	2018	DBLP DOI BibTeX RDF
28	Qi Zhou 0010, William Harris	Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions.	HCVS	2018	DBLP DOI BibTeX RDF
28	Zhiqiang Zhuang, Maurice Pagnucco, Yan Zhang 0003	Inter-Definability of Horn Contraction and Horn Revision.	J. Philos. Log.	2017	DBLP DOI BibTeX RDF
28	Mouad Ghandi, Emmeric Tanghe, Wout Joseph, Mustapha Benjillali, Zouhair Guennoun	Path loss characterization of horn-to-horn and textile-to-textile on-body mmWave channels at 60 GHz.	WINCOM	2016	DBLP DOI BibTeX RDF
28	Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Removing Unnecessary Variables from Horn Clause Verification Conditions.	HCVS@ETAPS	2016	DBLP DOI BibTeX RDF
28	Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko	Efficient CTL Verification via Horn Constraints Solving.	HCVS@ETAPS	2016	DBLP DOI BibTeX RDF
28	Gabriele Paganelli	Horn Binary Serialization Analysis.	HCVS@ETAPS	2016	DBLP DOI BibTeX RDF
28	Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux	Hierarchical State Machines as Modular Horn Clauses.	HCVS@ETAPS	2016	DBLP DOI BibTeX RDF
28	D. Chao	The Horn renamability, q-Horn and SLUR threshold for random k-CNF formulas.	Discret. Appl. Math.	2015	DBLP DOI BibTeX RDF
28	Bishoksan Kafle, John P. Gallagher	Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification.	HCVS	2014	DBLP DOI BibTeX RDF
28	Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi 0001	Horn Clauses for Communicating Timed Systems.	HCVS	2014	DBLP DOI BibTeX RDF
28	Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko	Generalised Interpolation by Solving Recursion-Free Horn Clauses	HCVS	2014	DBLP DOI BibTeX RDF
28	Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas	Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity.	ICCCI	2013	DBLP DOI BibTeX RDF
28	Zhi Qiang Zhuang, Maurice Pagnucco, Yan Zhang 0003	Definability of Horn Revision from Horn Contraction.	IJCAI	2013	DBLP BibTeX RDF
28	Thomas Eiter, Kazuhisa Makino	New Results for Horn Cores and Envelopes of Horn Disjunctions.	ECAI	2008	DBLP DOI BibTeX RDF
28	Nadia Creignou, Hervé Daudé, John V. Franco	A sharp threshold for the renameable-Horn and the q-Horn properties.	Discret. Appl. Math.	2005	DBLP DOI BibTeX RDF
28	Emmanuel Benoist, Jean-Jacques Hébrard	Recognition of Simple Enlarged Horn Formulas and Simple Extended Horn Formulas.	Ann. Math. Artif. Intell.	2003	DBLP DOI BibTeX RDF
28	Toshihide Ibaraki, Alexander Kogan, Kazuhisa Makino	Inferring Minimal Functional Dependencies in Horn and q-Horn Theories.	Ann. Math. Artif. Intell.	2003	DBLP DOI BibTeX RDF
28	Robert Nieuwenhuis, Pilar Nivela	Efficient Deduction in Equality Horn Logic by Horn-Completion.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
28	Vijay Chandru, Collette R. Coullard, Peter L. Hammer, M. Montanuz, Xiaorong Sun	On Renamable Horn and Generalized Horn Functions.	Ann. Math. Artif. Intell.	1990	DBLP DOI BibTeX RDF
28	María-Blanca Ibáñez-Espiga	Inférence parallèle et processus communicants pour les clauses de Horn : extension au premier ordre par la méthode de connexion. (Parallel inference and communicating processes for the Horn clauses).		1990	RDF
28	Susumu Yamasaki, Shuji Doshita	Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic	Inf. Control.	1984	DBLP DOI BibTeX RDF
28	Susumu Yamasaki, Shuji Doshita	The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic	Inf. Control.	1983	DBLP DOI BibTeX RDF
27	Andrei Popescu 0001, Grigore Rosu	Term-Generic Logic.	WADT	2008	DBLP DOI BibTeX RDF
27	Yanjie Liu, Lemin Zhang, Dongcui Wang, Yuetao Liu	Research on a New Composite Ultrasonic Energy Transmission Mechanism with Parallel Structure.	RAM	2008	DBLP DOI BibTeX RDF
27	Chi-Fang Huang, Chun-Kai Wang	An Automatic Beam-Switching Array for ATSC DTV Reception.	VTC Spring	2007	DBLP DOI BibTeX RDF
27	Oliver Ray, Katsumi Inoue	Mode-Directed Inverse Entailment for Full Clausal Theories.	ILP	2007	DBLP DOI BibTeX RDF
27	Ken Satoh, Takeaki Uno	Enumerating Minimally Revised Specifications Using Dualization.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
27	Christopher Hardin	How the Location of * Influences Complexity in Kleene Algebra with Tests.	LPAR	2004	DBLP DOI BibTeX RDF
27	Stephen A. Cook, Antonina Kolokolova	A Second-Order Theory for NL.	LICS	2004	DBLP DOI BibTeX RDF
27	Judy Goldsmith, Robert H. Sloan, Balázs Szörényi, György Turán	New Revision Algorithms.	ALT	2004	DBLP DOI BibTeX RDF
27	Oliver Ray, Krysia Broda, Alessandra Russo	Generalised Kernel Sets for Inverse Entailment.	ICLP	2004	DBLP DOI BibTeX RDF
27	Ryuzo Hasegawa, Hiroshi Fujita 0002, Miyuki Koshimura, Yasuyuki Shirai	A Model Generation Based Theorem Prover MGTP for First-Order Logic.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
27	Takashi Horiyama, Toshihide Ibaraki	Reasoning with Ordered Binary Decision Diagrams.	ISAAC	2000	DBLP DOI BibTeX RDF
27	Harold Boley	Relationships between Logic Programming and RDF.	PRICAI Workshops	2000	DBLP DOI BibTeX RDF
27	Michael Kifer	On the Decidability and Axiomatization of Query Finiteness in Deductive Databases.	J. ACM	1998	DBLP DOI BibTeX RDF	finite queries, finiteness constraints, horizontal decompositions, partial constraints, query processing, computability, axiomatization
27	Anthony J. Bonner, Michael Kifer	Results on Reasoning about Updates in Transaction Logic.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
27	Bernhard Nebel, Hans-Jürgen Bürckert	Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.	J. ACM	1995	DBLP DOI BibTeX RDF	constraint satisfaction, temporal reasoning, qualitative reasoning, interval algebra
27	Bernhard Nebel, Hans-Jürgen Bürckert	Managing Qualitative Temporal Information: Expressiveness vs. Complexity.	IS/KI	1994	DBLP DOI BibTeX RDF
27	Rajshekhar Sunderraman	Algebraic Evaluation of Disjunctive Deductive Databases.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
27	Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi	Generalized Predicate Completion.	KBCS	1989	DBLP DOI BibTeX RDF
27	Howard A. Blair, V. S. Subrahmanian	Paraconsistent Logic Programming.	FSTTCS	1987	DBLP DOI BibTeX RDF
27	Laurent Fribourg	Oriented Equational Clauses as a Programming Language.	ICALP	1984	DBLP DOI BibTeX RDF
27	Jack Minker	On Indefinite Databases and the Closed World Assumption.	CADE	1982	DBLP DOI BibTeX RDF
26	James Hawthorne, David Makinson	The Quantitative/Qualitative Watershed for Rules of Uncertain Inference.	Stud Logica	2007	DBLP DOI BibTeX RDF	uncertain inference, consequence relations, Horn rules, probabilistic thresholds, conditional probabilities, nonmonotonic logic
26	Sven Hartmann, Sebastian Link	Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	Nested database, Brouwerian algebra, Functional dependency, Sets, Records, Horn clause, Lists, Multisets, Topological space, Axiomatisation
26	Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu	A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures.	PPDP	2005	DBLP DOI BibTeX RDF	resolution strategies, verification, cryptographic protocols, horn clauses
26	Bruno Blanchet	Automatic verification of cryptographic protocols: a logic programming approach.	PPDP	2003	DBLP DOI BibTeX RDF	logic programming, cryptographic protocols, automatic verification, horn clauses
26	Richard R. Schultz, Robert L. Stevenson	Bayesian estimation of subpixel-resolution motion fields and high-resolution video stills.	ICIP (3)	1997	DBLP DOI BibTeX RDF	subpixel-resolution motion fields, high-resolution video stills, multiframe resolution enhancement methods, low-resolution image sequence frames, subpixel-resolution motion vectors, super-resolution enhancement algorithms, Bayesian motion estimation, discontinuity-preserving prior, Horn-Schunck optical flow estimation, simulations, Bayes methods, block matching, motion field
26	Adel Bouhoula, Jean-Pierre Jouannaud	Automata-Driven Automated Induction.	LICS	1997	DBLP DOI BibTeX RDF	automata-driven automated induction, inductive theorem proving, first-order functions, finitely many unary membership predicates, rational subsets, ground reducibility, inductive prover, theorem proving, tree automata, Horn Clauses, proof obligations
26	Yangjun Chen, Wolfgang Benn	Poster on Rule-based Technology for Schema Transformation.	CoopIS	1997	DBLP DOI BibTeX RDF	rule-based technology, local database schema, abstract database schema, data model conflicts, object-oriented schema, relational database logic, object-oriented logic, Horn-clause-like rules, meta-level reasoning, knowledge based systems, data models, object-oriented database, integrity constraints, database integration, schema transformation, relational schemas
26	Bart Selman, Henry A. Kautz	Knowledge Compilation and Theory Approximation.	J. ACM	1996	DBLP DOI BibTeX RDF	efficient reasoning methods, knowledge-base optimization, theory approximation, query evaluation, Horn clauses, knowledge compilation
26	Eduardo F. Morales 0001	Learning Features by Experimentation in Chess.	EWSL	1991	DBLP DOI BibTeX RDF	LGG, experimentation, Horn clause, chess
26	Phokion G. Kolaitis, Christos H. Papadimitriou	Some Computational Aspects of Circumscription	J. ACM	1990	DBLP DOI BibTeX RDF	Horn, Model checking, NP-completeness, first-order logic, nonmonotonic reasoning, undecidability, Circumscription
26	George Peterka, Tadao Murata	Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	proof procedure, Horn clause subset, firing sequence, goal transition, Petri nets, logic programs, logic programming, theorem proving, programming theory, Petri net model, first-order predicate logic, answer extraction
26	Jitendra Malik, Dror E. Maydan	Recovering Three-Dimensional Shape from a Single Image of Curved Objects.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	3D shape recover, curved objects, Lambertian surfaces, point light source, shading constraints, Horn's image irradiance equation, pattern recognition, pattern recognition, image segmentation, picture processing, picture processing, edge, line drawing, global constraints, surface orientation, variational techniques, reflectance map, variational formulation, single image
26	Michael Kifer, Eliezer L. Lozinskii	SYGRAF: Implementing Logic Programs in a Database Style.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	SYGRAF, Horn logic programs, function symbols, parallel programming, logic programming, logic programming, query optimization, database theory, deductive databases, programming theory, formal logic, bottom-up evaluation
26	Matthew Might, Yannis Smaragdakis, David Van Horn	Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis.	PLDI	2010	DBLP DOI BibTeX RDF	k-cfa, m-cfa, object-oriented, static analysis, functional, pointer analysis, control-flow analysis
26	Jeffrey Horn	Optimal Nesting of Species for Exact Cover: Many against Many.	PPSN	2008	DBLP DOI BibTeX RDF
26	Jeffrey Horn	Optimal Nesting of Species for Exact Cover of Resources: Two Against One.	FOCI	2007	DBLP DOI BibTeX RDF
26	Jeffrey Horn	Optimal nesting of species for exact cover of resources: two against many.	GECCO	2007	DBLP DOI BibTeX RDF	exact cover, shape nesting, species, genetic algorithm, evolutionary computation, tiling, coevolution, niches, niching
23		Horn Clause Query.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
23	Tim Kimber, Krysia Broda, Alessandra Russo	Induction on Failure: Learning Connected Horn Theories.	LPNMR	2009	DBLP DOI BibTeX RDF	Inverse Entailment, Abductio, Inductive Logic Programming
23	Roberto Sebastiani, Michele Vescovi	Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis.	CADE	2009	DBLP DOI BibTeX RDF
23	Ewa Madalinska-Bugaj, Linh Anh Nguyen	Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF
23	Josefina Sierra, Josefina Santibáñez	Horn Query Learning with Multiple Refinement.	SEAL	2008	DBLP DOI BibTeX RDF
23	Kenji Saito	Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	P2P, programming language, overlay network, concurrent logic programming
23	Matthias Christandl	A Quantum Information-Theoretic Proof of the Relation between Horn's Problem and the Littlewood-Richardson Coefficients.	CiE	2008	DBLP DOI BibTeX RDF
23	Jun Liu 0001, Luis Martínez-López 0001, Yang Xu 0001, Zhirui Lu	Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework.	IFSA (2)	2007	DBLP DOI BibTeX RDF
23	Andrés Bruhn, Joachim Weickert, Christoph Schnörr	Lucas/Kanade Meets Horn/Schunck: Combining Local and Global Optic Flow Methods.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	performance evaluation, optic flow, partial differential equations, variational methods, confidence measures, structure tensor, differential techniques
23	Oliver Ray	The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.	ICLP	2005	DBLP DOI BibTeX RDF
23	Joxe Gaintzarain, Montserrat Hermo, Marisa Navarro	Goals in the Propositional Horn Language Are Monotone Boolean Circuits.	MFCS	2005	DBLP DOI BibTeX RDF
23	Kumar Neeraj Verma, Helmut Seidl, Thomas Schwentick	On the Complexity of Equational Horn Clauses.	CADE	2005	DBLP DOI BibTeX RDF
23	Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe	A Branching Heuristics for Quantified Renamable Horn Formulas.	SAT	2005	DBLP DOI BibTeX RDF
23	Cristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi	A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas.	APPROX-RANDOM	2005	DBLP DOI BibTeX RDF
23	Hans Kleine Büning, K. Subramani 0001, Xishun Zhao	On Boolean Models for Quantified Boolean Horn Formulas.	SAT	2003	DBLP DOI BibTeX RDF
23	Kazuhiro Ogata 0001, Kokichi Futatsugi	Formal Verification of the Horn-Preneel Micropayment Protocol.	VMCAI	2003	DBLP DOI BibTeX RDF
23	Francesca A. Lisi, Donato Malerba	Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning.	AI*IA	2003	DBLP DOI BibTeX RDF