The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Entailment with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1960-1980 (16) 1981-1988 (17) 1989-1992 (21) 1993-1994 (23) 1995-1996 (18) 1997-1998 (20) 1999-2000 (32) 2001 (17) 2002-2003 (29) 2004 (34) 2005 (71) 2006 (54) 2007 (81) 2008 (85) 2009 (74) 2010 (60) 2011 (65) 2012 (53) 2013 (75) 2014 (55) 2015 (48) 2016 (50) 2017 (65) 2018 (65) 2019 (87) 2020 (77) 2021 (70) 2022 (95) 2023 (86) 2024 (20)
Publication types (Num. hits)
article(459) book(1) incollection(9) inproceedings(1071) phdthesis(17) proceedings(6)
Venues (Conferences, Journals, ...)
CoRR(204) TAC(41) NTCIR(39) ACL-PASCAL@ACL(32) MLCW(26) SemEval@NAACL-HLT(21) LREC(20) AAAI(19) ACL (1)(19) ILP(18) CLEF(17) JELIA(17) EMNLP(16) COLING(15) Description Logics(15) IJCAI(15) More (+10 of total 466)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 218 occurrences of 174 keywords

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