Search results for "entailments"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
54	Matthew Horridge, Bijan Parsia, Ulrike Sattler	Explaining Inconsistencies in OWL Ontologies.	SUM	2009	DBLP DOI BibTeX RDF
54	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
54	Raphael Volz, Steffen Staab, Boris Motik	Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
51	Nimit Pattanasri, Adam Jatowt, Katsumi Tanaka	Enhancing Comprehension of Events in Video Through Explanation-on-Demand Hypervideo.	MMM (1)	2007	DBLP DOI BibTeX RDF	verb ontology, Fellbaum’s verb entailments, XDD, OWL, reasoning, MPEG-7, comprehension, XML database, hypervideo
42	Ofer Arieli, Anna Zamansky	Some Simplified Forms of Reasoning with Distance-Based Entailments.	Canadian AI	2008	DBLP DOI BibTeX RDF
42	Ofer Arieli	Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Paraconsistent and nonmonotonic reasoning, preferential semantics, quantified Boolean formulae
42	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
42	Yves Moinard	General Preferential Entailments as Circumscriptions.	ECSQARU	2001	DBLP DOI BibTeX RDF
36	Matthew Horridge, Bijan Parsia, Ulrike Sattler	Laconic and Precise Justifications in OWL.	ISWC	2008	DBLP DOI BibTeX RDF
36	Huiying Li, Yanbing Wang, Yuzhong Qu, Jeff Z. Pan	A Reasoning Algorithm for pD*.	ASWC	2006	DBLP DOI BibTeX RDF
36	Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg	Preventing existence.	FOIS	2001	DBLP DOI BibTeX RDF	knowledge representation, existence, natural language semantics
36	Yves Moinard, Raymond Rolland	Around a Powerful Property of Circumscriptions.	JELIA	1994	DBLP DOI BibTeX RDF
33	Aravind K. Joshi, Ralph M. Weischedel	Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	Artificial intelligence, semantics, inferences, computational linguistics, syntax, linguistics, natural language understanding, entailments, presuppositions
24	Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov	Why Not? Explaining Missing Entailments with Evee (Technical Report).	CoRR	2023	DBLP DOI BibTeX RDF
24	Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov	Why Not? Explaining Missing Entailments with Evee.	Description Logics	2023	DBLP BibTeX RDF
24	Christoph Beierle, Jonas Haldimann	Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings.	Ann. Math. Artif. Intell.	2022	DBLP DOI BibTeX RDF
24	Ivan Gocev, Georgios Meditskos, Nick Bassiliades	Towards Explaining DL Non-entailments by Utilizing Subtree Isomorphisms.	iiWAS	2022	DBLP DOI BibTeX RDF
24	Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova	Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report).	CoRR	2021	DBLP BibTeX RDF
24	Daisuke Kimura, Makoto Tatsuta	Decidability for Entailments of Symbolic Heaps with Arrays.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
24	Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova	Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.	CADE	2021	DBLP DOI BibTeX RDF
24	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Unifying Decidable Entailments in Separation Logic with Inductive Definitions.	CADE	2021	DBLP DOI BibTeX RDF
24	Richard Zuber	Entailments with Sentential Predicates.	CLAR	2021	DBLP DOI BibTeX RDF
24	Ofer Arieli, AnneMarie Borg, Christian Straßer	Characterizations and Classifications of Argumentative Entailments.	KR	2021	DBLP DOI BibTeX RDF
24	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment.	CSL	2021	DBLP DOI BibTeX RDF
24	Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova	Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
24	Mnacho Echenim, Radu Iosif, Nicolas Peltier	Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems.	CoRR	2020	DBLP BibTeX RDF
24	Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova	Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report).	CoRR	2020	DBLP BibTeX RDF
24	Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova	Finding Small Proofs for Description Logic Entailments: Theory and Practice.	LPAR	2020	DBLP DOI BibTeX RDF
24	Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova	On the Complexity of Finding Good Proofs for Description Logic Entailments.	Description Logics	2020	DBLP BibTeX RDF
24	Christoph Beierle, Jonas Haldimann	Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings.	FoIKS	2020	DBLP DOI BibTeX RDF
24	Sam Alxatib	Actuality Entailments and Free Choice.	J. Semant.	2019	DBLP DOI BibTeX RDF
24	Somayeh Jafaritazehjani, Albert Gatt, Marc Tanti	Visuallly Grounded Generation of Entailments from Premises.	CoRR	2019	DBLP BibTeX RDF
24	Somayeh Jafaritazehjani, Albert Gatt, Marc Tanti	Visually grounded generation of entailments from premises.	INLG	2019	DBLP BibTeX RDF
24	Daisuke Kimura, Makoto Tatsuta	Decidability for Entailments of Symbolic Heaps with Arrays.	CoRR	2018	DBLP BibTeX RDF
24	Chidchanok Choksuchat, Chantana Chantrapornchai	Practical parallel string matching framework for RDF entailments with GPUs.	Inf. Syst. Frontiers	2018	DBLP DOI BibTeX RDF
24	Radu Iosif, Cristina Serban	A Complete Cyclic Proof System for Inductive Entailments in First Order Logic.	LPAR	2018	DBLP DOI BibTeX RDF
24	Radu Iosif, Cristina Serban	Complete Cyclic Proof Systems for Inductive Entailments.	CoRR	2017	DBLP BibTeX RDF
24	Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis	The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments.	ISWC (1)	2017	DBLP DOI BibTeX RDF
24	Nguyen Truong Son, Viet-Anh Phan, Le Minh Nguyen 0001	Recognizing entailments in legal texts using sentence encoding-based and decomposable attention models.	COLIEE@ICAIL	2017	DBLP DOI BibTeX RDF
24	Pauli Xu, Robert Frank 0001, Jungo Kasai, Owen Rambow	TAG Parser Evaluation using Textual Entailments.	TAG	2017	DBLP BibTeX RDF
24	Alda Mari	Actuality Entailments: When the Modality is in the Presupposition.	LACL	2016	DBLP DOI BibTeX RDF
24	James Brotherston, Nikos Gorogiannis	Disproving Inductive Entailments in Separation Logic via Base Pair Approximation.	TABLEAUX	2015	DBLP DOI BibTeX RDF
24	Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Deciding Entailments in Inductive Separation Logic with Tree Automata.	CoRR	2014	DBLP BibTeX RDF
24	Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Deciding Entailments in Inductive Separation Logic with Tree Automata.	ATVA	2014	DBLP DOI BibTeX RDF
24	Artemis Parvizi, Chris Mellish, Kees van Deemter, Yuan Ren 0001, Jeff Z. Pan	Selecting Ontology Entailments for Presentation to Users.	KEOD	2014	DBLP DOI BibTeX RDF
24	Deniz Yuret, Laura Rimell, Aydin Han	Parser evaluation using textual entailments.	Lang. Resour. Evaluation	2013	DBLP DOI BibTeX RDF
24	Yu-Chieh Wu	Integrating statistical and lexical information for recognizing textual entailments in text.	Knowl. Based Syst.	2013	DBLP DOI BibTeX RDF
24	Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez, Thomas Vetterlein	Logics for approximate and strong entailments.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
24	Tu Anh Thi Nguyen, Richard Power, Paul Piwek, Sandra Williams	Planning Accessible Explanations for Entailments in OWL Ontologies.	INLG	2012	DBLP BibTeX RDF
24	Tom Werner	Modal Entailments.	J. Semant.	2011	DBLP DOI BibTeX RDF
24	Gang Wu 0007, Guilin Qi, Jianfeng Du	Finding all justifications of OWL entailments using TMS and MapReduce.	CIKM	2011	DBLP DOI BibTeX RDF
24	Samantha Bail, Bijan Parsia, Ulrike Sattler	Extracting Finite Sets of Entailments from OWL Ontologies.	Description Logics	2011	DBLP BibTeX RDF
24	Deniz Yuret, Aydin Han, Zehra Turgut	SemEval-2010 Task 12: Parser Evaluation Using Textual Entailments.	SemEval@ACL	2010	DBLP BibTeX RDF
24	Michael Heilman, Noah A. Smith	Tree Edit Models for Recognizing Textual Entailments, Paraphrases, and Answers to Questions.	HLT-NAACL	2010	DBLP BibTeX RDF
24	Jianfeng Du, Guilin Qi, Qiu Ji	Goal-Directed Module Extraction for Explaining OWL DL Entailments.	ISWC	2009	DBLP DOI BibTeX RDF
24	Matthew Horridge, Bijan Parsia, Ulrike Sattler	From Justifications to Proofs for Entailments in OWL.	OWLED	2009	DBLP BibTeX RDF
24	Bahadorreza Ofoghi, John Yearwood	UB.dmirg: A Syntactic Lexical System for Recognizing Textual Entailments.	TAC	2009	DBLP BibTeX RDF
24	Qiu Ji, Guilin Qi, Peter Haase 0001	A Relevance-Directed Algorithm for Finding Justifications of DL Entailments.	ASWC	2009	DBLP DOI BibTeX RDF
24	David Clausen, Christopher D. Manning	Presupposed Content and Entailments in Natural Language Inference.	TextInfer@ACL	2009	DBLP BibTeX RDF
24	Thorsten Liebig, Stephan Scheele	Explaining Entailments and Patching Modelling Flaws.	Künstliche Intell.	2008	DBLP BibTeX RDF
24	Matthew Horridge, Bijan Parsia, Ulrike Sattler	Explanation of OWL Entailments in Protege 4.	ISWC (Posters & Demos)	2008	DBLP BibTeX RDF
24	Georgios Meditskos, Nick Bassiliades	Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments.	ECAI	2008	DBLP DOI BibTeX RDF
24	Matthew Horridge, Johannes Bauer 0002, Bijan Parsia, Ulrike Sattler	Understanding Entailments in OWL.	OWLED	2008	DBLP BibTeX RDF
24	Steven J. Zuiker, Kate T. Anderson, Lai Har Judy Lee, Yam San Chee	Designing for the epistemological entailments of physics through game-centered dialogical activity cycles.	ICLS (2)	2008	DBLP BibTeX RDF
24	Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase 0001	A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments.	ASWC	2008	DBLP DOI BibTeX RDF
24	Sandra Bégoin-Augereau, Josiane Caron-Pargue	Linguistic Forms as Markers of Automatic Entailments in a Problem Solving Task.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
24	Bill MacCartney, Trond Grenager, Marie-Catherine de Marneffe, Daniel M. Cer, Christopher D. Manning	Learning to recognize features of valid textual entailments.	HLT-NAACL	2006	DBLP BibTeX RDF
24	Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau	Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments.	Description Logics	2006	DBLP BibTeX RDF
24	Fabio Massimo Zanzotto, Alessandro Moschitti	Automatic Learning of Textual Entailments with Cross-Pair Similarities.	ACL	2006	DBLP BibTeX RDF
24	Duncan Pritchard	McKinsey Paradoxes, Radical Scepticism, and the Transmission of Knowledge across Known Entailments.	Synth.	2002	DBLP DOI BibTeX RDF
24	Yves Moinard	Linking Makinson and Kraus-Lehmann-Magidor preferential entailments	CoRR	2002	DBLP BibTeX RDF
24	Yves Moinard, Raymond Rolland	Characterizations of Preferential Entailments.	Log. J. IGPL	2002	DBLP DOI BibTeX RDF
24	Yves Moinard	Linking Makinson and Kraus-Lehmann- Magidor preferential entailments.	NMR	2002	DBLP BibTeX RDF
24	Yves Moinard	Linking Makinson and Kraus-Lehmann-Magidor preferential entailments.	ECAI	2002	DBLP BibTeX RDF
24	Ofer Arieli, Arnon Avron	General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.	Log. J. IGPL	2000	DBLP DOI BibTeX RDF
24	Yves Moinard	Characterizing General Preferential Entailments.	ECAI	2000	DBLP BibTeX RDF
24	Ofer Arieli, Arnon Avron	Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.	ESCQARU	1999	DBLP DOI BibTeX RDF
24	Yves Moinard, Raymond Rolland	Preferential Entailments for Circumscriptions.	KR	1994	DBLP BibTeX RDF
24	Robert E. Mercer	Default Logic: Towards a Common Logical Semantics for Presuppositions and Entailments.	J. Semant.	1992	DBLP DOI BibTeX RDF
24	Paul Snow	Restraining the Proliferation of Worlds in Probabilistic Logic Entailments.	ECSQARU	1991	DBLP DOI BibTeX RDF
24	James Hawthorne	A semantic approach to non-monotonic entailments.	UAI	1986	DBLP BibTeX RDF
24	Anthony S. Maida	Processing Entailments and Accessing Facts in a Uniform Frame System.	AAAI	1984	DBLP BibTeX RDF
24	William H. Hanson	First-degree entailments and information.	Notre Dame J. Formal Log.	1980	DBLP DOI BibTeX RDF
24	J. Michael Dunn	A sieve for entailments.	J. Philos. Log.	1980	DBLP DOI BibTeX RDF
18	Ofer Arieli, Anna Zamansky	Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data.	ECSQARU	2009	DBLP DOI BibTeX RDF
18	Safdar Ali 0001, Stephan Kiefer	µOR - A Micro OWL DL Reasoner for Ambient Intelligent Devices.	GPC	2009	DBLP DOI BibTeX RDF	Mobile Reasoning, Ambient Intelligent Devices, Semantic Web, Pervasive Computing, Description Logics
18	Georgios Meditskos, Nick Bassiliades	A Rule-Based Object-Oriented OWL Reasoner.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Object-Oriented Programming, Inference engines, Rule-based processing, Ontology languages
18	Marius Bozga, Radu Iosif, Swann Perarnau	Quantitative Separation Logic and Programs with Lists.	IJCAR	2008	DBLP DOI BibTeX RDF
18	Zhengxiang Pan, Xingjian Zhang 0006, Jeff Heflin	DLDB2: A Scalable Multi-perspective Semantic Web Repository.	Web Intelligence	2008	DBLP DOI BibTeX RDF
18	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
18	Jos de Bruijn, Stijn Heymans	Translating Ontologies from Predicate-based to Frame-based Languages.	RuleML	2006	DBLP DOI BibTeX RDF
18	Alon Altman, Ya'acov Peterzil, Yoad Winter	Scope Dominance with Upward Monotone Quantifiers.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	monotonicity, dominance, scope, generalized quantifier
18	John K. Slaney	Relevant Logic and Paraconsistency.	Inconsistency Tolerance	2005	DBLP DOI BibTeX RDF
18	Fabrice Correia	Semantics for Analytic Containment.	Stud Logica	2004	DBLP DOI BibTeX RDF	analytic containment, relevant implication, semantics
18	Kean-Huat Soon, Werner Kuhn	Formalizing User Actions for Ontologies.	GIScience	2004	DBLP DOI BibTeX RDF
18	Lee Flax	An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment.	JELIA	2004	DBLP DOI BibTeX RDF
18	Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn	A Decidable Fragment of Separation Logic.	FSTTCS	2004	DBLP DOI BibTeX RDF
18	Lee Flax	A Proposal for Reasoning in Agents: Restricted Entailment.	DALT	2003	DBLP DOI BibTeX RDF
18	Raphael Volz, Steffen Staab, Boris Motik	Incremental Maintenance of Materialized Ontologies.	OTM	2003	DBLP DOI BibTeX RDF
18	Catherine C. Marshall, Frank M. Shipman III	Which semantic web?	Hypertext	2003	DBLP DOI BibTeX RDF	semantic web, digital libraries, knowledge representation, information systems, knowledge acquisition, hypertext