Search results for "Horn logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Radim Belohlávek, Vilém Vychodil	Fuzzy Horn logic I.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Degree of provability, Fuzzy logic, Implication, Equational logic, Horn logic
2	Ethan K. Jackson, Wolfram Schulte	Model Generation for Horn Logic with Stratified Negation.	FORTE	2008	DBLP DOI BibTeX RDF
2	Michael Mendler, Gerald Lüttgen	Is Observational Congruence Axiomatisable in Equational Horn Logic?	CONCUR	2007	DBLP DOI BibTeX RDF
2	Alexej P. Pynko	A relative interpolation theorem for infinitary universal Horn logic and its applications.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Universal Horn theory, Interpolation theorem, Preservation theorem, Definability theorem
2	Radim Belohlávek, Vilém Vychodil	Fuzzy Horn logic II.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Degree of provability, Fuzzy logic, Implication, Equational Logic, Horn logic
2	Irene Stahl	Properties of Inductive Logic Programming in Function-Free Horn Logic.	ECML	1994	DBLP DOI BibTeX RDF
2	Mino Bai, Howard A. Blair	General Model Theoretic Semantics for Higher-Order Horn Logic Programming.	LPAR	1992	DBLP DOI BibTeX RDF
2	Erich Grädel	The Expressive Power of Second Order Horn Logic.	STACS	1991	DBLP DOI BibTeX RDF
2	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
2	Roland Dietrich	Relating Resolution and Algebraic Completion for Horn Logic.	CADE	1986	DBLP DOI BibTeX RDF
1	Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann	On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.	J. Artif. Intell. Res. (JAIR)	2011	DBLP DOI BibTeX RDF
1	Maonian Wu, Dongmo Zhang, Mingyi Zhang	Language Splitting and Relevance-Based Belief Change in Horn Logic.	AAAI	2011	DBLP BibTeX RDF
1	Michael Mendler, Gerald Lüttgen	Is observational congruence on µ-expressions axiomatisable in equational Horn logic?	Inf. Comput.	2010	DBLP DOI BibTeX RDF
1	Huizhang Shen, Jidi Zhao, Jing Dong	Building fuzzy hybrid Horn logic rules on top of ontologies.	FSKD	2010	DBLP DOI BibTeX RDF
1	Harold Boley, Michael Kifer	A Guide to the Basic Logic Dialect for Rule Interchange on the Web.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	F-logic, XML, Logic programming, equality, deduction, IRI, mathematical logic, RIF, Horn logic
1	Ethan K. Jackson, Janos Sztipanovits	Formalizing the structural semantics of domain-specific modeling languages.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Structural semantics, Metamodeling, Model-based Design, Formal logic, Domain-specific modeling languages, Horn logic
1	Arjen Hommersom, Nivea de Carvalho Ferreira, Peter J. F. Lucas	Integrating Logical Reasoning and Probabilistic Chain Graphs.	ECML/PKDD	2009	DBLP DOI BibTeX RDF
1	Marcel Jackson	Flat algebras and the translation of universal Horn logic to equational logic.	J. Symb. Log.	2008	DBLP BibTeX RDF
1	Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li	Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic.	SEKE	2008	DBLP BibTeX RDF
1	Ti Zhou, Mengjun Li, Zhoujun Li	Local abstract verification and refinement of security protocols.	FMSE	2008	DBLP DOI BibTeX RDF	verification, refinement, abstraction, security protocols
1	Zhengxiang Pan, Xingjian Zhang, Jeff Heflin	DLDB2: A Scalable Multi-perspective Semantic Web Repository.	Web Intelligence	2008	DBLP DOI BibTeX RDF
1	Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen	Constraint Abstraction in Verification of Security Protocols.	FAW	2008	DBLP DOI BibTeX RDF	time sensitive, formal verification, security protocol, logic model, constraint system
1	Manuel Clavel, José Meseguer, Miguel Palomino	Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Erik Palmgren, Steven J. Vickers	Partial Horn logic and cartesian categories.	Ann. Pure Appl. Logic	2007	DBLP DOI BibTeX RDF
1	Ki-Chul Lee, Jung-Hoon Kim, Jee-Hyong Lee, Keon-Myong Lee	Implementation of Ontology Based Context-Awareness Framework for Ubiquitous Environment.	MUE	2007	DBLP DOI BibTeX RDF
1	Pau Baiget, Carles Fernández Tena, F. Xavier Roca, Jordi Gonzàlez	Automatic Learning of Conceptual Knowledge in Image Sequences for Human Behavior Interpretation.	IbPRIA	2007	DBLP DOI BibTeX RDF
1	Ethan K. Jackson, Janos Sztipanovits	Constructive Techniques for Meta- and Model-Level Reasoning.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Shilong Ma, Yuefei Sui, Ke Xu	Well limit behaviors of term rewriting systems.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	Gröbner bases, well-foundedness, term rewriting systems, limits
1	Vilém Vychodil	Continuous fuzzy Horn logic.	Math. Log. Q.	2006	DBLP DOI BibTeX RDF
1	Ethan K. Jackson, Janos Sztipanovits	Towards a formal foundation for domain specific modeling languages.	EMSOFT	2006	DBLP DOI BibTeX RDF	embedded systems, semantics, metamodeling, formal logic, horn logic
1	Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek	How to reason with OWL in a logic programming system.	RuleML	2006	DBLP DOI BibTeX RDF
1	Vilém Vychodil	Cut and Weakening in Fuzzy Horn Logic.	Logic Journal of the IGPL	2005	DBLP DOI BibTeX RDF
1	Chiaki Sakama	Induction from answer sets in nonmonotonic logic programs.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	nonmonotonic logic programs, induction, Answer sets
1	Adrian Paschke, Martin Bichler	SLA Representation, Management and Enforcement.	EEE	2005	DBLP DOI BibTeX RDF
1	Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluis Godo, Teresa Alsinet	Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties.	ECSQARU	2005	DBLP DOI BibTeX RDF	non-monotonic inference, logic programming, uncertainty, argumentation
1	Marcus Vinicius Santos	Denotational Semantics Using Horn Concurrent Transaction Logic.	ICLP	2005	DBLP DOI BibTeX RDF
1	Ramón P. Otero	Induction of the Indirect Effects of Actions by Monotonic Methods.	ILP	2005	DBLP DOI BibTeX RDF
1	Chiaki Sakama, Katsumi Inoue	Inductive Equivalence of Logic Programs.	ILP	2005	DBLP DOI BibTeX RDF
1	Wei Wei, Bart Selman	A New Approach to Model Counting.	SAT	2005	DBLP DOI BibTeX RDF
1	Bee-Chung Chen, Jieh Hsiang	A Logical Framework of Knowledge Retrieval with Fuzziness.	Web Intelligence	2004	DBLP DOI BibTeX RDF
1	Yasuo Kudo, Tetsuya Murai	A Method of Belief Base Revision for Extended Logic Programs Based on State Transition Diagrams.	KES	2004	DBLP DOI BibTeX RDF
1	Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker	Description logic programs: combining logic programs with description logic.	WWW	2003	DBLP DOI BibTeX RDF	ontologies, XML, semantic web, interoperability, knowledge representation, logic programs, RDF, description logic, rules, information integration, translation, model-theoretic semantics, inferencing
1	Kunal Patel, Gopal Gupta	Semantic Processing of the Semantic Web.	International Semantic Web Conference	2003	DBLP DOI BibTeX RDF
1	Manuel Clavel, José Meseguer, Miguel Palomino	Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Shilong Ma, Yuefei Sui, Ke Xu	The Limits of Horn Logic Programs.	ICLP	2002	DBLP DOI BibTeX RDF
1	Gopal Gupta, Enrico Pontelli	Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
1	Michael Sintek, Stefan Decker	TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web.	International Semantic Web Conference	2002	DBLP DOI BibTeX RDF	F-Logic, Metadata, RDF, Knowledge Representation and Reasoning, DAML
1	Shilong Ma, Yuefei Sui, Ke Xu	The Limits of Horn Logic Programs	CoRR	2001	DBLP BibTeX RDF
1	Alberto Momigliano	Elimination of Negation in a Logical Framework.	CSL	2000	DBLP DOI BibTeX RDF
1	Liviu Badea, Shan-Hwei Nienhuys-Cheng	A Refinement Operator for Description Logics.	ILP	2000	DBLP DOI BibTeX RDF
1	Jianhua Chen	Combining Description Logics with Stratified Logic Programs in Knowledge Representation.	ISMIS	2000	DBLP BibTeX RDF
1	Peter D. Mosses	Logical Specification of Operational Semantics.	CSL	1999	DBLP DOI BibTeX RDF
1	Gopal Gupta	Horn Logic Denotations.	IJCSLP	1998	DBLP BibTeX RDF
1	Gopal Gupta, Enrico Pontelli, Amado Lara-Rodríguez, Roberto Felix-Cardenas	Automatic Generation of Provably Correct Parallelizing Compilers. (PDF / PS)	ICPP	1998	DBLP DOI BibTeX RDF
1	Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer	Specification and Proof in Membership Equational Logic.	TAPSOFT	1997	DBLP DOI BibTeX RDF
1	Pilar Dellunde, Ramon Jansana	Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality.	J. Symb. Log.	1996	DBLP BibTeX RDF
1	Birgit Tausend	A Guided Tour Through Hypothesis Spaces in ILP.	ECML	1995	DBLP DOI BibTeX RDF
1	Grigoris Antoniou, Elmar Langetepe	Applying SLD-resolution to a class of non-Horn logic programs.	Bulletin of the IGPL	1994	DBLP DOI BibTeX RDF
1	Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich	Bag languages, concurrency, Horn logic programs, and linear logic.	SEKE	1994	DBLP BibTeX RDF
1	Saumya K. Debray	On the Complexity of Dataflow Analysis of Logic Programs.	ICALP	1992	DBLP DOI BibTeX RDF
1	Robert Nieuwenhuis, Pilar Nivela	Efficient Deduction in Equality Horn Logic by Horn-Completion.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
1	William W. Wadge	Higher-Order Horn Logic Programming.	ISLP	1991	DBLP BibTeX RDF
1	Hong Chen, Jieh Hsiang	Logic Programming with Recurrence Domains.	ICALP	1991	DBLP DOI BibTeX RDF
1	Roland Dietrich, Hendrik C. R. Lock	Exploiting Non-Determinism through Laziness in Guarded Functional Languages.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
1	Hassan Aït-Kaci, Roger Nasr, Jungyun Seo	Implementing a knowledge-based library information system with typed horn logic.	Inf. Process. Manage.	1990	DBLP DOI BibTeX RDF
1	Axel Poigné	Typed Horn Logic.	MFCS	1990	DBLP DOI BibTeX RDF
1	Susan Darling Urban, Lois M. L. Delcambre	Constraint Analysis: A Design Process for Specifying Operations on Objects.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	object-oriented database design environment, object-oriented database schema, flexible specification, propagation actions, constraint violations, explicit schema constraints, automatic identification, formal specification, semantics, object-oriented programming, object-oriented databases, design process, design process, formal logic, object manipulation, design alternatives, constraint analysis, Horn logic, formal representation, database constraints
1	Carlo Zaniolo	Deductive Databases - Theory Meets Practice.	EDBT	1990	DBLP DOI BibTeX RDF
1	Anthony J. Bonner	Hypothetical Datalog: Negation and Linear Recursion.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
1	François Bry	Logic Programming as Constructivism: A Formalization and its Application to Databases.	PODS	1989	DBLP DOI BibTeX RDF
1	Jack Minker, Arcot Rajasekar	Procedural Interpretation of Non-Horn Logic Programs.	CADE	1988	DBLP DOI BibTeX RDF	generalized closed world assumption, non-horn programs, procedural interpretation, support-for-negation, logic programming, negation
1	Bharat Jayaraman	Semantics of EqL.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Correctness theorems, equational programming, equation solving, object refinement, logic programming, functional programming, denotational semantics, reduction semantics
1	Domenico Saccà, Carlo Zaniolo	Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic.	ICLP	1987	DBLP BibTeX RDF
1	Vijay A. Saraswat	The Concurrent Logic Programming Language CP: Definition and Operational Semantics.	POPL	1987	DBLP DOI BibTeX RDF	Prolog
1	Masaki Murakami	Proving Partial Correctness of Guarded Horn Clauses Programs.	LP	1987	DBLP DOI BibTeX RDF
1	Carlo Zaniolo, Domenico Saccà	Rule Rewriting Methods for Efficient Implementations of Horn Logic.	Foundations of Logic and Functional Programming	1986	DBLP DOI BibTeX RDF
1	Vijay A. Saraswat	Partial correctness semantics for CP [ , \| , &].	FSTTCS	1985	DBLP DOI BibTeX RDF
1	George F. McNulty	Fragments of First Order Logic, I: Universal Horn Logic.	J. Symb. Log.	1977	DBLP BibTeX RDF