Search results for "entailment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
3	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
3	Georgios Meditskos, Nick Bassiliades	Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning.	International Semantic Web Conference	2008	DBLP DOI BibTeX RDF	Hybrid and Homogeneous Systems, Rule-based OWL Reasoning, Entailment Rules, DL Reasoning, Rule Engines
3	Yasser Kotb, Takuya Katayama	Improving software documentation using textual entailment.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	software testing, Natural Language Processing, software quality, textual entailment, error report
3	Alina Andreevskaia, Zhuoyan Li, Sabine Bergler	Partial Predicate Argument Structure Matching for Entailment Determination.	MLCW	2005	DBLP DOI BibTeX RDF
3	Valentin Jijkoun, Maarten de Rijke	Recognizing Textual Entailment: Is Word Similarity Enough?.	MLCW	2005	DBLP DOI BibTeX RDF
3	Oren Glickman, Ido Dagan, Moshe Koppel	A Lexical Alignment Model for Probabilistic Textual Entailment.	MLCW	2005	DBLP DOI BibTeX RDF
3	Ido Dagan, Oren Glickman, Bernardo Magnini	The PASCAL Recognising Textual Entailment Challenge.	MLCW	2005	DBLP DOI BibTeX RDF
3	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
3	Dekai Wu	Textual Entailment Recognition Using Inversion Transduction Grammars.	MLCW	2005	DBLP DOI BibTeX RDF
3	Lucy Vanderwende, William B. Dolan	What Syntax Can Contribute in the Entailment Task.	MLCW	2005	DBLP DOI BibTeX RDF
3	Elena Akhmatova, Diego Mollá	Recognizing Textual Entailment Via Atomic Propositions.	MLCW	2005	DBLP DOI BibTeX RDF
3	Johan Bos, Katja Markert	Recognising Textual Entailment with Robust Logical Inference.	MLCW	2005	DBLP DOI BibTeX RDF
3	Daniel Hodges, Christine Clark, Abraham Fowler, Dan I. Moldovan	Applying COGEX to Recognize Textual Entailment.	MLCW	2005	DBLP DOI BibTeX RDF
3	Maria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto	Learning Textual Entailment on a Distance Feature Space.	MLCW	2005	DBLP DOI BibTeX RDF
3	Milen Kouylekov, Bernardo Magnini	Combining Lexical Resources with Tree Edit Distance for Recognizing Textual Entailment.	MLCW	2005	DBLP DOI BibTeX RDF
3	Jesús Herrera, Anselmo Peñas, Felisa Verdejo	Textual Entailment Recognition Based on Dependency Analysis and WordNet.	MLCW	2005	DBLP DOI BibTeX RDF
3	Eamonn Newman, Nicola Stokes, John Dunnion, Joe Carthy	Textual Entailment Recognition Using a Linguistically-Motivated Decision Tree Classifier.	MLCW	2005	DBLP DOI BibTeX RDF
3	Diana Pérez, Enrique Alfonseca	Using Bleu-like Algorithms for the Automatic Recognition of Entailment.	MLCW	2005	DBLP DOI BibTeX RDF
2	Marcin Wolski	Rough Set Theory: Ontological Systems, Entailment Relations and Approximation Operators.	T. Rough Sets	2009	DBLP DOI BibTeX RDF
2	Shahid Hussain, M. R. K. Krishna Rao	Learning Hereditary and Reductive Prolog Programs from Entailment.	ICIC	2009	DBLP DOI BibTeX RDF
2	Matteo Negri, Milen Kouylekov, Bernardo Magnini, Yashar Mehdad, Elena Cabrio	Towards Extensible Textual Entailment Engines: The EDITS Package.	AI*IA	2009	DBLP DOI BibTeX RDF
2	Jingwei Cheng, Z. M. Ma, Fu Zhang, Xing Wang	Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases.	DEXA	2009	DBLP DOI BibTeX RDF
2	Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres	Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes.	International Semantic Web Conference	2009	DBLP DOI BibTeX RDF
2	Reda Siblini, Leila Kosseim	AORTE for Recognizing Textual Entailment.	CICLing	2009	DBLP DOI BibTeX RDF
2	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
2	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
2	Dmitry Zaitsev	A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4.	Studia Logica	2009	DBLP DOI BibTeX RDF	Generalized truth values, Dunn-Belnap logic, Shramko-Wansing logic, trilattice, tetralattice, first-degree entailment, bilattice
2	Suguru Matsuyoshi, Koji Murakami, Yuji Matsumoto, 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
2	Reinhard Pichler, Axel Polleres, Fang Wei, Stefan Woltran	dRDF: Entailment for Domain-Restricted RDF.	ESWC	2008	DBLP DOI BibTeX RDF
2	Diego Uribe	Textual Entailment Recognition Based on Structural Isomorphism.	MICAI	2008	DBLP DOI BibTeX RDF
2	Asli Çelikyilmaz, Marcus Thint	Semantic approach to text entailment for question answering - new domain for uncertainty modeling.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
2	Óscar Ferrández, Rafael Muñoz, Manuel Palomar	Improving Question Answering Tasks by Textual Entailment Recognition.	NLDB	2008	DBLP DOI BibTeX RDF
2	Matteo Negri, Milen Kouylekov, Bernardo Magnini	Detecting Expected Answer Relations through Textual Entailment.	CICLing	2008	DBLP DOI BibTeX RDF
2	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A Coinduction Rule for Entailment of Recursively Defined Properties.	CP	2008	DBLP DOI BibTeX RDF
2	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
2	Palakorn Achananuparp, Xiaohua Hu, Xiajiong Shen	The Evaluation of Sentence Similarity Measures.	DaWaK	2008	DBLP DOI BibTeX RDF	Paraphrase Recognition, Textual Entailment Recognition, Sentence similarity
2	Miklós Erdélyi-Szabó, László Kálmán, Agi Kurucz	Towards a natural language semantics without functors and operands.	Journal of Logic, Language and Information	2008	DBLP DOI BibTeX RDF	Finite axiomatisability, Finite entailment problem, Function/argument metaphor, Pieces of evidence, Measurements, Completeness, Compositionality, Decision algorithm, Natural language semantics
2	Rui Wang 0005, Günter Neumann	Using Recognizing Textual Entailment as a Core Engine for Answer Validation.	CLEF	2007	DBLP DOI BibTeX RDF
2	Roser Sauri, James Pustejovsky	Determining Modality and Factuality for Text Entailment.	ICSC	2007	DBLP DOI BibTeX RDF
2	Óscar Ferrández, Daniel Micol, Rafael Muñoz, Manuel Palomar	DLSITE-1: Lexical Analysis for Solving Textual Entailment Recognition.	NLDB	2007	DBLP DOI BibTeX RDF
2	Oliver Ray, Katsumi Inoue	Mode-Directed Inverse Entailment for Full Clausal Theories.	ILP	2007	DBLP DOI BibTeX RDF
2	Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa	ILP : - Just Trie It.	ILP	2007	DBLP DOI BibTeX RDF	Mode Directed Inverse Entailment, Data Structures, Efficiency
2	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
2	Zornitsa Kozareva, Andrés Montoyo	An Approach for Textual Entailment Recognition Based on Stacking and Voting.	MICAI	2006	DBLP DOI BibTeX RDF
2	Sonia Vázquez, Zornitsa Kozareva, Andrés Montoyo	Textual Entailment Beyond Semantic Similarity Information.	MICAI	2006	DBLP DOI BibTeX RDF
2	Zornitsa Kozareva, Sonia Vázquez, Andrés Montoyo	The Effect of Semantic Knowledge Expansion to Textual Entailment Recognition.	TSD	2006	DBLP DOI BibTeX RDF
2	Óscar Ferrández, Rafael M. Terol, Rafael Muñoz, Patricio Martínez-Barco, Manuel Palomar	A Knowledge Based Strategy for Recognising Textual Entailment.	TSD	2006	DBLP DOI BibTeX RDF
2	Yasser Kotb	Toward Efficient Peer-to-Peer Information Retrieval Based on Textual Entailment.	IAT Workshops	2006	DBLP DOI BibTeX RDF
2	Óscar Ferrández, Rafael M. Terol, Rafael Muñoz, Patricio Martínez-Barco, Manuel Palomar	A Knowledge-Based Textual Entailment Approach Applied to the AVE Task.	CLEF	2006	DBLP DOI BibTeX RDF
2	Wauter Bosma, Chris Callison-Burch	Paraphrase Substitution for Recognizing Textual Entailment.	CLEF	2006	DBLP DOI BibTeX RDF
2	Fabio Massimo Zanzotto, Alessandro Moschitti	Experimenting a "General Purpose" Textual Entailment Learner in AVE.	CLEF	2006	DBLP DOI BibTeX RDF
2	Milen Kouylekov, Matteo Negri, Bernardo Magnini, Bonaventura Coppola	Towards Entailment-Based Question Answering: ITC-irst at CLEF 2006.	CLEF	2006	DBLP DOI BibTeX RDF
2	Óscar Ferrández, Rafael M. Terol, Rafael Muñoz, Patricio Martínez-Barco, Manuel Palomar	Deep vs. Shallow Semantic Analysis Applied to Textual Entailment Recognition.	FinTAL	2006	DBLP DOI BibTeX RDF
2	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
2	Stéphane Clinchant, Cyril Goutte, Éric Gaussier	Lexical Entailment for Information Retrieval.	ECIR	2006	DBLP DOI BibTeX RDF
2	Zornitsa Kozareva, Andrés Montoyo	The Role and Resolution of Textual Entailment in Natural Language Processing Applications.	NLDB	2006	DBLP DOI BibTeX RDF
2	Anselmo Peñas, Álvaro Rodrigo, Felisa Verdejo	SPARTE, a Test Suite for Recognising Textual Entailment in Spanish.	CICLing	2006	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Yaroslav Shramko, Heinrich Wansing	Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.	Journal of Logic, Language and Information	2006	DBLP DOI BibTeX RDF	Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment
2	Maria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto	A Linguistic Inspection of Textual Entailment.	AI*IA	2005	DBLP DOI BibTeX RDF
2	Jesús Herrera, Anselmo Peñas, Felisa Verdejo	Techniques for Recognizing Textual Entailment and Semantic Equivalence.	CAEPIA	2005	DBLP DOI BibTeX RDF
2	Vasile Rus, Arthur C. Graesser, Philip M. McCarthy, King-Ip Lin	A Study on Textual Entailment.	ICTAI	2005	DBLP DOI BibTeX RDF
2	Jean-François Baget	RDF Entailment as a Graph Homomorphism.	International Semantic Web Conference	2005	DBLP DOI BibTeX RDF
2	Héctor Corrada Bravo, David Page, Raghu Ramakrishnan, Jude W. Shavlik, Vítor Santos Costa	A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment.	ILP	2005	DBLP DOI BibTeX RDF
2	Samuel Bayer, John D. Burger, Lisa Ferro, John C. Henderson, Lynette Hirschman, Alexander S. Yeh	Evaluating Semantic Evaluations: How RTE Measures Up.	MLCW	2005	DBLP DOI BibTeX RDF
2	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
2	Petr Cintula	Two notions of compactness in Gödel logics.	Studia Logica	2005	DBLP DOI BibTeX RDF	Gödel logic, Logic, Satisfiability, Compactness, Entailment
2	Oliver Ray, Krysia Broda, Alessandra Russo	Generalised Kernel Sets for Inverse Entailment.	ICLP	2004	DBLP DOI BibTeX RDF
2	M. R. K. Krishna Rao	Learnability of Simply-Moded Logic Programs from Entailment.	ASIAN	2004	DBLP DOI BibTeX RDF
2	Lee Flax	An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment.	JELIA	2004	DBLP DOI BibTeX RDF
2	Herman J. ter Horst	Extending the RDFS Entailment Lemma.	International Semantic Web Conference	2004	DBLP DOI BibTeX RDF
2	Katsumi Inoue	Induction as Consequence Finding.	Machine Learning	2004	DBLP DOI BibTeX RDF	consequence finding, inverse entailment, induction, abduction
2	Thomas Lukasiewicz	Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding.	ECSQARU	2003	DBLP DOI BibTeX RDF
2	M. R. K. Krishna Rao	Polynomial-Time Learnability from Entailment.	ICLP	2003	DBLP DOI BibTeX RDF
2	Lee Flax	A Proposal for Reasoning in Agents: Restricted Entailment.	DALT	2003	DBLP DOI BibTeX RDF
2	Ian Horrocks, Peter F. Patel-Schneider	Reducing OWL Entailment to Description Logic Satisfiability.	International Semantic Web Conference	2003	DBLP DOI BibTeX RDF
2	François Bry, Sebastian Schaffert	An Entailment Relation for Reasoning on the Web.	RuleML	2003	DBLP DOI BibTeX RDF
2	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
2	Joachim Niehren, Tim Priesnitz	Non-structural Subtype Entailment in Automata Theory.	TACS	2001	DBLP DOI BibTeX RDF
2	Zhendong Su, Alexander Aiken	Entailment with Conditional Equality Constraints.	ESOP	2001	DBLP DOI BibTeX RDF
2	Hayato Ohwada, Hiroyuki Nishiyama, Fumio Mizoguchi	Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment.	ILP	2000	DBLP DOI BibTeX RDF
2	Stephen Muggleton, Christopher H. Bryant	Theory Completion Using Inverse Entailment.	ILP	2000	DBLP DOI BibTeX RDF
2	Chiaki Sakama	Inverse Entailment in Nonmonotonic Logic Programs.	ILP	2000	DBLP DOI BibTeX RDF
2	Steffen Hölldobler, Hans-Peter Störr	Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams.	Computational Logic	2000	DBLP DOI BibTeX RDF
2	Rachel A. Bourne, Simon Parsons	Connecting Lexicographic with Maximum Entropy Entailment.	ESCQARU	1999	DBLP DOI BibTeX RDF
2	Joachim Niehren, Martin Müller, Jean-Marc Talbot	Entailment of Atomic Set Constraints is PSPACE-Complete.	LICS	1999	DBLP DOI BibTeX RDF
2	Fritz Henglein, Jakob Rehof	Constraint Automata and the Complexity of Recursive Subtype Entailment.	ICALP	1998	DBLP DOI BibTeX RDF
2	M. R. K. Krishna Rao, Abdul Sattar	Learning from Entailment of Logic Programs with Local Variables.	ALT	1998	DBLP DOI BibTeX RDF
2	M. R. K. Krishna Rao, Abdul Sattar	Learning Linearly-Moded Programs from Entailment.	PRICAI	1998	DBLP DOI BibTeX RDF
2	Koichi Furukawa	On the Completion of the Most Specific Hypothesis Computation in Inverse Entailment for Mutual Recursion.	Discovery Science	1998	DBLP DOI BibTeX RDF
2	Hassan Aït-Kaci, Andreas Podelski	Entailment and Disentailment of Order-Sorted Feature Constraints.	LPAR	1993	DBLP DOI BibTeX RDF
2	Viswanath Ramachandran, Pascal Van Hentenryck	Incremental Algorithms for Constraint Solving and Entailment over Rational Trees.	FSTTCS	1993	DBLP DOI BibTeX RDF
2	Ricardo Caferra, Stéphane Demri	Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic.	CADE	1992	DBLP DOI BibTeX RDF
2	Nicholas Asher, Michael Morreau	Commonsense Entailment: A Modal Theory of Nonmonotonic Reasoning.	JELIA	1990	DBLP DOI BibTeX RDF
2	Eugene W. Stark	Proving Entailment Between Conceptual State Specifications.	ESOP	1986	DBLP DOI BibTeX RDF
1	José M. Méndez, Gemma Robles, Francisco Salto	Ticket Entailment plus the mingle axiom has the variable-sharing property.	Logic Journal of the IGPL	2012	DBLP DOI BibTeX RDF
1	Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo	On the complexity of entailment in existential conjunctive first-order logic with atomic negation.	Inf. Comput.	2012	DBLP DOI BibTeX RDF