Search results for "entailment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Fritz Henglein, Jakob Rehof	Constraint Automata and the Complexity of Recursive Subtype Entailment.	ICALP	1998	DBLP DOI BibTeX RDF
98	Fritz Henglein, Jakob Rehof	The Complexity of Subtype Entailment for Simple Types.	LICS	1997	DBLP DOI BibTeX RDF	subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm
85	Herman J. ter Horst	Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity.	ISWC	2005	DBLP DOI BibTeX RDF
77	Lee Flax	An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment.	JELIA	2004	DBLP DOI BibTeX RDF
77	Rachel A. Bourne, Simon Parsons	Connecting Lexicographic with Maximum Entropy Entailment.	ESCQARU	1999	DBLP DOI BibTeX RDF
77	Georgios Meditskos, Nick Bassiliades	Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning.	ISWC	2008	DBLP DOI BibTeX RDF	Hybrid and Homogeneous Systems, Rule-based OWL Reasoning, Entailment Rules, DL Reasoning, Rule Engines
70	Oren Glickman, Ido Dagan, Moshe Koppel	A Lexical Alignment Model for Probabilistic Textual Entailment.	MLCW	2005	DBLP DOI BibTeX RDF
70	Maria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto	Learning Textual Entailment on a Distance Feature Space.	MLCW	2005	DBLP DOI BibTeX RDF
67	Asli Celikyilmaz, Marcus Thint	Semantic approach to text entailment for question answering - new domain for uncertainty modeling.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
67	Reinhard Pichler, Axel Polleres, Fang Wei 0001, Stefan Woltran	dRDF: Entailment for Domain-Restricted RDF.	ESWC	2008	DBLP DOI BibTeX RDF
67	Óscar Ferrández, Daniel Micol, Rafael Muñoz 0001, Manuel Palomar	DLSITE-1: Lexical Analysis for Solving Textual Entailment Recognition.	NLDB	2007	DBLP DOI BibTeX RDF
67	Herman J. ter Horst	Extending the RDFS Entailment Lemma.	ISWC	2004	DBLP DOI BibTeX RDF
67	Thomas Lukasiewicz	Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding.	ECSQARU	2003	DBLP DOI BibTeX RDF
63	Katsumi Inoue	Induction as Consequence Finding.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	consequence finding, inverse entailment, induction, abduction
59	Milen Kouylekov, Bernardo Magnini	Combining Lexical Resources with Tree Edit Distance for Recognizing Textual Entailment.	MLCW	2005	DBLP DOI BibTeX RDF
59	Elena Akhmatova, Diego Mollá	Recognizing Textual Entailment Via Atomic Propositions.	MLCW	2005	DBLP DOI BibTeX RDF
59	Jesús Herrera, Anselmo Peñas, Felisa Verdejo	Textual Entailment Recognition Based on Dependency Analysis and WordNet.	MLCW	2005	DBLP DOI BibTeX RDF
59	Diana Pérez 0001, Enrique Alfonseca	Using Bleu-like Algorithms for the Automatic Recognition of Entailment.	MLCW	2005	DBLP DOI BibTeX RDF
59	Rodrigo de Salvo Braz, Roxana Girju, Vasin Punyakanok, Dan Roth, Mark Sammons	An Inference Model for Semantic Entailment in Natural Language.	MLCW	2005	DBLP DOI BibTeX RDF
56	Fabio Massimo Zanzotto, Alessandro Moschitti	Experimenting a "General Purpose" Textual Entailment Learner in AVE.	CLEF	2006	DBLP DOI BibTeX RDF
56	Stéphane Clinchant, Cyril Goutte, Éric Gaussier	Lexical Entailment for Information Retrieval.	ECIR	2006	DBLP DOI BibTeX RDF
56	Christopher J. Matheus, Kenneth Baclawski, Mieczyslaw M. Kokar	BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules.	RuleML	2006	DBLP DOI BibTeX RDF
56	Maria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto	A Linguistic Inspection of Textual Entailment.	AI*IA	2005	DBLP DOI BibTeX RDF
56	Lee Flax	A Proposal for Reasoning in Agents: Restricted Entailment.	DALT	2003	DBLP DOI BibTeX RDF
56	Viktor Kuncak, Martin C. Rinard	Existential Heap Abstraction Entailment Is Undecidable.	SAS	2003	DBLP DOI BibTeX RDF	Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem
56	Viswanath Ramachandran, Pascal Van Hentenryck	Incremental Algorithms for Constraint Solving and Entailment over Rational Trees.	FSTTCS	1993	DBLP DOI BibTeX RDF
56	Christian Wolter, Andreas Schaad, Christoph Meinel	Task-based entailment constraints for basic workflow patterns.	SACMAT	2008	DBLP DOI BibTeX RDF	task-based entailment constraints, access control, workflow management, separation of duty, workflow modelling
53	Jianfeng Du, Guilin Qi, Qiu Ji	Goal-Directed Module Extraction for Explaining OWL DL Entailments.	ISWC	2009	DBLP DOI BibTeX RDF
53	Martin Müller 0001, Joachim Niehren	Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic.	RTA	1998	DBLP DOI BibTeX RDF
53	Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo	Probabilistic logic under coherence: complexity and algorithms.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	conditional probability assessment, logical constraint, conditional constraint, probabilistic logic under coherence, model-theoretic probabilistic logic, g-coherence, g-coherent entailment, algorithms, computational complexity
49	Johan Bos, Katja Markert	Recognising Textual Entailment with Robust Logical Inference.	MLCW	2005	DBLP DOI BibTeX RDF
49	Daniel Hodges, Christine Clark, Abraham Fowler, Dan I. Moldovan	Applying COGEX to Recognize Textual Entailment.	MLCW	2005	DBLP DOI BibTeX RDF
49	Eamonn Newman, Nicola Stokes, John Dunnion, Joe Carthy	Textual Entailment Recognition Using a Linguistically-Motivated Decision Tree Classifier.	MLCW	2005	DBLP DOI BibTeX RDF
49	Alina Andreevskaia, Zhuoyan Li, Sabine Bergler	Partial Predicate Argument Structure Matching for Entailment Determination.	MLCW	2005	DBLP DOI BibTeX RDF
49	Valentin Jijkoun, Maarten de Rijke	Recognizing Textual Entailment: Is Word Similarity Enough?.	MLCW	2005	DBLP DOI BibTeX RDF
46	Reda Siblini, Leila Kosseim	AORTE for Recognizing Textual Entailment.	CICLing	2009	DBLP DOI BibTeX RDF
46	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A Coinduction Rule for Entailment of Recursively Defined Properties.	CP	2008	DBLP DOI BibTeX RDF
46	Sonia Vázquez, Zornitsa Kozareva, Andrés Montoyo	Textual Entailment Beyond Semantic Similarity Information.	MICAI	2006	DBLP DOI BibTeX RDF
46	Zornitsa Kozareva, Sonia Vázquez, Andrés Montoyo	The Effect of Semantic Knowledge Expansion to Textual Entailment Recognition.	TSD	2006	DBLP DOI BibTeX RDF
46	Vasile Rus, Arthur C. Graesser, Philip M. McCarthy, King-Ip (David) Lin	A Study on Textual Entailment.	ICTAI	2005	DBLP DOI BibTeX RDF
46	François Bry, Sebastian Schaffert	An Entailment Relation for Reasoning on the Web.	RuleML	2003	DBLP DOI BibTeX RDF
46	Joachim Niehren, Martin Müller 0001, Jean-Marc Talbot	Entailment of Atomic Set Constraints is PSPACE-Complete.	LICS	1999	DBLP DOI BibTeX RDF
46	Eugene W. Stark	Proving Entailment Between Conceptual State Specifications.	ESOP	1986	DBLP DOI BibTeX RDF
45	Yasser Kotb, Takuya Katayama	Improving software documentation using textual entailment.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	software testing, Natural Language Processing, software quality, textual entailment, error report
42	Donald Bamber, I. R. Goodman, Hung T. Nguyen 0002	Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	AMS subject classification 68T37, 03B38, 60G57, 05C20
42	Thomas Eiter, Thomas Lukasiewicz	New Tractable Cases in Default Reasoning from Conditional Knowledge Bases.	JELIA	2000	DBLP DOI BibTeX RDF
42	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
42	Akihiro Yamamoto	Logical Aspects of Several Bottom-Up Fittings.	ALT	1998	DBLP DOI BibTeX RDF
42	Radim Belohlávek, Vilém Vychodil	Adding background knowledge to formal concept analysis via attribute dependency formulas.	SAC	2008	DBLP DOI BibTeX RDF	attribute dependencies, completeness, formal concept analysis, background knowledge, entailment
42	Yaroslav Shramko, Heinrich Wansing	Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment
41	Marek A. Suchenek	First -Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment.	J. Autom. Reason.	1993	DBLP DOI BibTeX RDF
41	Fabio Massimo Zanzotto, Maria Teresa Pazienza, Marco Pennacchiotti	Discovering Entailment Relations Using "Textual Entailment Patterns".	EMSEE@ACL	2005	DBLP BibTeX RDF
38	Ido Dagan, Oren Glickman, Bernardo Magnini	The PASCAL Recognising Textual Entailment Challenge.	MLCW	2005	DBLP DOI BibTeX RDF
38	Lucy Vanderwende, William B. Dolan	What Syntax Can Contribute in the Entailment Task.	MLCW	2005	DBLP DOI BibTeX RDF
38	Dekai Wu	Textual Entailment Recognition Using Inversion Transduction Grammars.	MLCW	2005	DBLP DOI BibTeX RDF
35	Marcin Wolski	Rough Set Theory: Ontological Systems, Entailment Relations and Approximation Operators.	Trans. Rough Sets	2009	DBLP DOI BibTeX RDF
35	Matteo Negri, Milen Kouylekov, Bernardo Magnini	Detecting Expected Answer Relations through Textual Entailment.	CICLing	2008	DBLP DOI BibTeX RDF
35	Diego Uribe	Textual Entailment Recognition Based on Structural Isomorphism.	MICAI	2008	DBLP DOI BibTeX RDF
35	Rui Wang 0005, Günter Neumann	Using Recognizing Textual Entailment as a Core Engine for Answer Validation.	CLEF	2007	DBLP DOI BibTeX RDF
35	Zornitsa Kozareva, Andrés Montoyo	An Approach for Textual Entailment Recognition Based on Stacking and Voting.	MICAI	2006	DBLP DOI BibTeX RDF
35	Milen Kouylekov, Matteo Negri, Bernardo Magnini, Bonaventura Coppola	Towards Entailment-Based Question Answering: ITC-irst at CLEF 2006.	CLEF	2006	DBLP DOI BibTeX RDF
35	Óscar Ferrández, Rafael M. Terol, Rafael Muñoz 0001, Patricio Martínez-Barco, Manuel Palomar	A Knowledge Based Strategy for Recognising Textual Entailment.	TSD	2006	DBLP DOI BibTeX RDF
35	Jean-François Baget	RDF Entailment as a Graph Homomorphism.	ISWC	2005	DBLP DOI BibTeX RDF
35	Jesús Herrera, Anselmo Peñas, Felisa Verdejo	Techniques for Recognizing Textual Entailment and Semantic Equivalence.	CAEPIA	2005	DBLP DOI BibTeX RDF
35	Oliver Ray, Krysia Broda, Alessandra Russo	Generalised Kernel Sets for Inverse Entailment.	ICLP	2004	DBLP DOI BibTeX RDF
35	M. R. K. Krishna Rao	Learnability of Simply-Moded Logic Programs from Entailment.	ASIAN	2004	DBLP DOI BibTeX RDF
35	Ian Horrocks 0001, Peter F. Patel-Schneider	Reducing OWL Entailment to Description Logic Satisfiability.	ISWC	2003	DBLP DOI BibTeX RDF
35	M. R. K. Krishna Rao	Polynomial-Time Learnability from Entailment.	ICLP	2003	DBLP DOI BibTeX RDF
35	Joachim Niehren, Tim Priesnitz	Non-structural Subtype Entailment in Automata Theory.	TACS	2001	DBLP DOI BibTeX RDF
35	Stephen H. Muggleton, Christopher H. Bryant	Theory Completion Using Inverse Entailment.	ILP	2000	DBLP DOI BibTeX RDF
35	Chiaki Sakama	Inverse Entailment in Nonmonotonic Logic Programs.	ILP	2000	DBLP DOI BibTeX RDF
35	Hayato Ohwada, Hiroyuki Nishiyama, Fumio Mizoguchi	Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment.	ILP	2000	DBLP DOI BibTeX RDF
35	M. R. K. Krishna Rao, Abdul Sattar 0001	Learning from Entailment of Logic Programs with Local Variables.	ALT	1998	DBLP DOI BibTeX RDF
35	Suguru Matsuyoshi, Koji Murakami, Yuji Matsumoto 0001, Kentaro Inui	A Database of Relations between Predicate Argument Structures for Recognizing Textual Entailment and Contradiction.	ISUC	2008	DBLP DOI BibTeX RDF	predicate argument structure, recognizing textual entailment, database, logical relation
32	Carl Pollard	Hyperintensional Questions.	WoLLIC	2008	DBLP DOI BibTeX RDF
32	José L. Balcázar	Deduction Schemes for Association Rules.	Discovery Science	2008	DBLP DOI BibTeX RDF	deductive calculus, Association rules, redundancy
32	Claudio Gutierrez 0001, Carlos A. Hurtado, Alejandro A. Vaisman	Introducing Time into RDF.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	query languages, Data models, temporal databases
32	Marc Bezem, Tore Langholm, Michal Walicki	Completeness and Decidability in Sequence Logic.	LPAR	2007	DBLP DOI BibTeX RDF
32	Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin	Finding All Justifications of OWL DL Entailments.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF	OWL Ontology Explanation, Debugging, Justifications
32	Jos de Bruijn, Stijn Heymans	RDF and Logic: Reasoning and Extension.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
32	Luc De Raedt	Statistical Relational Learning: An Inductive Logic Programming Perspective.	PKDD	2005	DBLP DOI BibTeX RDF
32	Frédéric Koriche	On Anytime Coherence-Based Reasoning.	ECSQARU	2001	DBLP DOI BibTeX RDF
32	Mats Carlsson, Greger Ottosson, Björn Carlson	An Open-Ended Finite Domain Constraint Solver.	PLILP	1997	DBLP DOI BibTeX RDF	Implementation of Constraint Systems, Indexicals, Constraint Programming, Global Constraints, Finite Domains
32	Yves Moinard, Raymond Rolland	Around a Powerful Property of Circumscriptions.	JELIA	1994	DBLP DOI BibTeX RDF
32	Dmitry Zaitsev 0002	A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4.	Stud Logica	2009	DBLP DOI BibTeX RDF	Generalized truth values, Dunn-Belnap logic, Shramko-Wansing logic, trilattice, tetralattice, first-degree entailment, bilattice
32	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
32	Peter Clark, Philip Harrison	Large-scale extraction and use of knowledge from text.	K-CAP	2009	DBLP DOI BibTeX RDF	natural language processing, knowledge acquisition, parsing, textual entailment
32	Miklós Erdélyi-Szabó, László Kálmán, Agi Kurucz	Towards a natural language semantics without functors and operands.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Finite axiomatisability, Finite entailment problem, Function/argument metaphor, Pieces of evidence, Measurements, Completeness, Compositionality, Decision algorithm, Natural language semantics
32	Palakorn Achananuparp, Xiaohua Hu 0001, Xiajiong Shen	The Evaluation of Sentence Similarity Measures.	DaWaK	2008	DBLP DOI BibTeX RDF	Paraphrase Recognition, Textual Entailment Recognition, Sentence similarity
32	Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue	Towards a Logical Reconstruction of CF-Induction.	JSAI	2007	DBLP DOI BibTeX RDF	inverse entailment, CF-induction, generalisation operator
32	Rui Camacho, Nuno A. Fonseca, Ricardo Rocha 0001, Vítor Santos Costa	ILP : - Just Trie It.	ILP	2007	DBLP DOI BibTeX RDF	Mode Directed Inverse Entailment, Data Structures, Efficiency
32	Eamonn Newman, Joe Carthy, John Dunnion, Nicola Stokes	Identifying semantic equivalence for multi-document summarisation.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Document summarisation, NLP, Semantic equivalence, Textual entailment
32	Manolis Koubarakis, Spiros Skiadopoulos, Christos Tryfonopoulos	Logic and Computational Complexity for Boolean Information Retrieval.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	Boolean information retrieval, computational complexity, query languages, data models, satisfiability, proximity, entailment
32	Amit Jain, Csilla Farkas	Secure resource description framework: an access control model.	SACMAT	2006	DBLP DOI BibTeX RDF	RDF access control, RDF metadata, RDF security, semantic web, RDFS, conflict resolution, entailment
32	Petr Cintula	Two notions of compactness in Gödel logics.	Stud Logica	2005	DBLP DOI BibTeX RDF	Gödel logic, Logic, Satisfiability, Compactness, Entailment
27	Yu Zhao, Yike Wu, Xiangrui Cai, Ying Zhang 0015, Haiwei Zhang, Xiaojie Yuan	From Alignment to Entailment: A Unified Textual Entailment Framework for Entity Alignment.	CoRR	2023	DBLP DOI BibTeX RDF
27	Gemma Robles	Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
27	Yu Zhao, Yike Wu, Xiangrui Cai, Ying Zhang 0015, Haiwei Zhang, Xiaojie Yuan	From Alignment to Entailment: A Unified Textual Entailment Framework for Entity Alignment.	ACL (Findings)	2023	DBLP DOI BibTeX RDF
27	Zhibin Chen, Yansong Feng, Dongyan Zhao 0001	Entailment Graph Learning with Textual Entailment and Soft Transitivity.	CoRR	2022	DBLP DOI BibTeX RDF
27	Zhibin Chen, Yansong Feng, Dongyan Zhao 0001	Entailment Graph Learning with Textual Entailment and Soft Transitivity.	ACL (1)	2022	DBLP DOI BibTeX RDF