Search results for "reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Andreas Zimmermann	Context-Awareness in User Modelling: Requirements Analysis for a Case-Based Reasoning Application.	ICCBR	2003	DBLP DOI BibTeX RDF	Generalised Cases, Time-Extended Cases, Context-Awareness, Personalization, User Modelling, Context Modelling
26	Yacine Zeghib, François de Bertrand de Beuvron, Martina Kullmann	Using Description Logics for Designing the Case Base in a Hybrid Approach for Diagnosis Integrating Model and Case-Based Reasoning.	ICCBR	2001	DBLP DOI BibTeX RDF
26	Lorraine McGinty, Barry Smyth	Collaborative Case-Based Reasoning: Applications in Personalised Route Planning.	ICCBR	2001	DBLP DOI BibTeX RDF
26	Marcin Detyniecki	Interpolative Reasoning: Valid, Specificity-Gradual and Similarity-Based.	Fuzzy Approaches for Soft Computing and Approximate Reasoning	2021	DBLP DOI BibTeX RDF
26	Paolo Pareti, George Konstantinidis 0001	A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs.	Reasoning Web	2021	DBLP DOI BibTeX RDF
26	Diego Figueira	Foundations of Graph Path Query Languages - Course Notes for the Reasoning Web Summer School 2021.	Reasoning Web	2021	DBLP DOI BibTeX RDF
26	Laura Giordano 0001, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato	Reasoning About Typicality and Probabilities in Preferential Description Logics.	Applications and Practices in Ontology Design, Extraction, and Reasoning	2020	DBLP DOI BibTeX RDF
26	Piero Andrea Bonatti, Iliana Mineva Petrova, Luigi Sauro	Defeasible Reasoning in Description Logics: An Overview on DLN.	Applications and Practices in Ontology Design, Extraction, and Reasoning	2020	DBLP DOI BibTeX RDF
26	Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi	A Framework for Reasoning on Probabilistic Description Logics.	Applications and Practices in Ontology Design, Extraction, and Reasoning	2020	DBLP DOI BibTeX RDF
26	Mario Alviano, Marco Manna	Large-Scale Ontological Reasoning via Datalog.	Applications and Practices in Ontology Design, Extraction, and Reasoning	2020	DBLP DOI BibTeX RDF
26	Emanuele Falzone, Riccardo Tommasini 0001, Emanuele Della Valle	Stream Reasoning: From Theory to Practice.	Reasoning Web	2020	DBLP DOI BibTeX RDF
26	Sara-Jane Dunn, Boyan Yordanov	Automated Reasoning for the Synthesis and Analysis of Biological Programs.	Automated Reasoning for Systems Biology and Medicine	2019	DBLP DOI BibTeX RDF
26	Birte Glimm, Yevgeny Kazakov	Classical Algorithms for Reasoning and Explanation in Description Logics.	Reasoning Web	2019	DBLP DOI BibTeX RDF
26	Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner	From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming.	Models: Concepts, Theory, Logic, Reasoning and Semantics	2018	DBLP BibTeX RDF
26	Daria Stepanova 0001, Mohamed H. Gad-Elrab, Vinh Thinh Ho	Rule Induction and Reasoning over Knowledge Graphs.	Reasoning Web	2018	DBLP DOI BibTeX RDF
26	Jacopo Urbani	Reasoning at Scale (Tutorial).	Reasoning Web	2018	DBLP DOI BibTeX RDF
26	Guido Governatori	Practical Normative Reasoning with Defeasible Deontic Logic.	Reasoning Web	2018	DBLP DOI BibTeX RDF
26	Ismail Ilkan Ceylan, Thomas Lukasiewicz	A Tutorial on Query Answering and Reasoning over Probabilistic Knowledge Bases.	Reasoning Web	2018	DBLP DOI BibTeX RDF
26	Thomas Lukasiewicz	Uncertainty Reasoning for the Semantic Web.	Reasoning Web	2017	DBLP DOI BibTeX RDF
26	Marie-Christine Rousset, Manuel Atencia, Jérôme David, Fabrice Jouanot, Olivier Palombi, Federico Ulliana	Datalog Revisited for Reasoning in Linked Data.	Reasoning Web	2017	DBLP DOI BibTeX RDF
26	Justin Anthony Knapp	Engaging the Public in Ethical Reasoning About Big Data.	Ethical Reasoning in Big Data	2016	DBLP DOI BibTeX RDF
26	Rochelle E. Tractenberg	Institutionalizing Ethical Reasoning: Integrating the ASA's Ethical Guidelines for Professional Practice into Course, Program, and Curriculum.	Ethical Reasoning in Big Data	2016	DBLP DOI BibTeX RDF
26	Rochelle E. Tractenberg	Integrating Ethical Reasoning into Preparation for Participation to Work in/with Big Data Through the Stewardship Model.	Ethical Reasoning in Big Data	2016	DBLP DOI BibTeX RDF
26	Freddy Lécué	Applying Machine Reasoning and Learning in Real World Applications.	Reasoning Web	2016	DBLP DOI BibTeX RDF
26	Nils Bulling, Valentin Goranko, Wojciech Jamroga	Logics for Reasoning About Strategic Abilities in Multi-player Games.	Models of Strategic Reasoning	2015	DBLP DOI BibTeX RDF
26	Giacomo Bonanno	Reasoning About Strategies and Rational Play in Dynamic Games.	Models of Strategic Reasoning	2015	DBLP DOI BibTeX RDF
26	Andrés Perea	Finite Reasoning Procedures for Dynamic Games.	Models of Strategic Reasoning	2015	DBLP DOI BibTeX RDF
26	Alessandra Mileo	Web Stream Reasoning: From Data Streams to Actionable Knowledge.	Reasoning Web	2015	DBLP DOI BibTeX RDF
26	Manolis Koubarakis, Giorgos B. Stamou, Giorgos Stoilos, Ian Horrocks 0001, Phokion G. Kolaitis, Georg Lausen, Gerhard Weikum (eds.)	Reasoning Web. Reasoning on the Web in the Big Data Era - 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings	Reasoning Web	2014	DBLP DOI BibTeX RDF
26	Julien Cojan, Jean Lieber	Applying Belief Revision to Case-Based Reasoning.	Computational Approaches to Analogical Reasoning	2014	DBLP DOI BibTeX RDF
26	Henri Prade, Gilles Richard	A Short Introduction to Computational Trends in Analogical Reasoning.	Computational Approaches to Analogical Reasoning	2014	DBLP DOI BibTeX RDF
26	Josep Lluís Larriba-Pey, Norbert Martínez-Bazan, David Domínguez-Sal	Introduction to Graph Databases.	Reasoning Web	2014	DBLP DOI BibTeX RDF
26	Roman Kontchakov, Michael Zakharyaschev	An Introduction to Description Logics and Query Rewriting.	Reasoning Web	2014	DBLP DOI BibTeX RDF
26	Zoi Kaoudi, Anastasios Kementsietsidis	Query Processing for RDF Databases.	Reasoning Web	2014	DBLP DOI BibTeX RDF
26	Marie-Laure Mugnier, Michaël Thomazo	An Introduction to Ontology-Based Query Answering with Existential Rules.	Reasoning Web	2014	DBLP DOI BibTeX RDF
26	Christina Unger, André Freitas, Philipp Cimiano	An Introduction to Question Answering over Linked Data.	Reasoning Web	2014	DBLP DOI BibTeX RDF
26	Maximilian Dylla, Martin Theobald, Iris Miliaraki	Querying and Learning in Probabilistic Databases.	Reasoning Web	2014	DBLP DOI BibTeX RDF
26	Özgür Lütfü Özçep, Ralf Möller 0001	Ontology Based Data Access on Temporal and Streaming Data.	Reasoning Web	2014	DBLP DOI BibTeX RDF
26	Axel-Cyrille Ngonga Ngomo, Sören Auer, Jens Lehmann 0001, Amrapali Zaveri	Introduction to Linked Data and Its Lifecycle on the Web.	Reasoning Web	2014	DBLP DOI BibTeX RDF
26	Jørgen Fischer Nilsson	Diagrammatic Reasoning with Classes and Relationships.	Visual Reasoning with Diagrams	2013	DBLP DOI BibTeX RDF
26	Axel Polleres, Aidan Hogan, Renaud Delbru, Jürgen Umbrich	RDFS and OWL Reasoning for Linked Data.	Reasoning Web	2013	DBLP DOI BibTeX RDF
26	Hannes Strass, Michael Thielscher	A Language for Default Reasoning about Actions.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
26	Vladik Kreinovich	Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
26	Guilin Qi, Jianfeng Du	Reasoning with Uncertain and Inconsistent OWL Ontologies.	Reasoning Web	2012	DBLP DOI BibTeX RDF
26	Sergio Flesca, Tim Furche, Linda Oro	Reasoning and Ontologies in Data Extraction.	Reasoning Web	2012	DBLP DOI BibTeX RDF
26	Magdalena Ortiz 0001, Mantas Simkus	Reasoning and Query Answering in Description Logics.	Reasoning Web	2012	DBLP DOI BibTeX RDF
26	Francesca Toni	Reasoning on the Web with Assumption-Based Argumentation.	Reasoning Web	2012	DBLP DOI BibTeX RDF
26	Richard Watson 0003, Marina De Vos	ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
26	Victor W. Marek, Jeffrey B. Remmel	Effectively Reasoning about Infinite Sets in Answer Set Programming.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
26	Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli	Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
26	Boris A. Galitsky, Josep Lluís de la Rosa	Learning Adversarial Reasoning Patterns in Customer Complaints.	Applied Adversarial Reasoning and Risk Modeling	2011	DBLP BibTeX RDF
26	Erdi Aker, Ahmetcan Erdogan, Esra Erdem 0001, Volkan Patoglu	Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
26	Richmond Thomason	The Formalization of Practical Reasoning: An Opinionated Survey.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
26	Stuart C. Shapiro	The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
26	Hans-Ulrich Krieger, Geert-Jan M. Kruijff	Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
26	Simon Parsons, Elizabeth Sklar, Peter McBurney	A Simple Logical Approach to Reasoning with and about Trust.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
26	Melissa Roemmele, Cosmin Adrian Bejan, Andrew S. Gordon	Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
26	Steffen Hölldobler, Tobias Philipp, Christoph Wernhard	An Abductive Model for Human Reasoning.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
26	Hannaneh Hajishirzi, Erik T. Mueller	Symbolic Probabilistic Reasoning for Narratives.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2011	DBLP BibTeX RDF
26	Christoph Kiefer, Abraham Bernstein	Application and Evaluation of Inductive Reasoning Methods for the Semantic Web and Software Analysis.	Reasoning Web	2011	DBLP DOI BibTeX RDF
26	Aidan Hogan, Jeff Z. Pan, Axel Polleres, Yuan Ren 0001	Scalable OWL 2 Reasoning for Linked Data.	Reasoning Web	2011	DBLP DOI BibTeX RDF
26	Amal Ahmed 0001, Nick Benton, Lars Birkedal, Martin Hofmann 0001	10351 Abstracts Collection - Modelling, Controlling and Reasoning About State.	Modelling, Controlling and Reasoning About State	2010	DBLP BibTeX RDF
26	Stefan Wölfl 0001, Anthony G. Cohn 0001, Jochen Renz, Georg Sutcliffe	10412 Summary and Abstracts Collection - QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning.	QSTRLib: A Benchmark Problem Repository for Qualitative Spatial and Temporal Reasoning	2010	DBLP BibTeX RDF
26	John A. Bateman, Anthony G. Cohn 0001, James Pustejovsky	10131 Executive Summary and Abstracts Collection - Spatial Representation and Reasoning in Language: Ontologies and Logics of Space.	Spatial Representation and Reasoning in Language: Ontologies and Logics of Space	2010	DBLP BibTeX RDF
26	Amal Ahmed 0001, Nick Benton, Lars Birkedal, Martin Hofmann 0001	10351 Executive Summary - Modelling, Controlling and Reasoning About State.	Modelling, Controlling and Reasoning About State	2010	DBLP BibTeX RDF
26	Richard Burns, Sandra Carberry, Stephanie Elzer	Visual and Spatial Factors in a Bayesian Reasoning Framework for the Recognition of Intended Messages in Grouped Bar Charts.	Visual Representations and Reasoning	2010	DBLP BibTeX RDF
26	Aaron Daniel Adler	Reasoning About Sketches Using Context, Domain Knowledge, and Interaction with the User.	Visual Representations and Reasoning	2010	DBLP BibTeX RDF
26	Paul S. Rosenbloom	Speculations on Leveraging Graphical Models for Architectural Integration of Visual Representation and Reasoning.	Visual Representations and Reasoning	2010	DBLP BibTeX RDF
26	Christopher Habel, Matthias Kerzel, Kris Lohmann	Verbal Assistance in Tactile-Map Explorations: A Case for Visual Representations and Reasoning.	Visual Representations and Reasoning	2010	DBLP BibTeX RDF
26	Fredrik Heintz, Jonas Kvarnström, Patrick Doherty 0001	Stream-Based Middleware Support for Embedded Reasoning.	AAAI Spring Symposium: Embedded Reasoning	2010	DBLP BibTeX RDF
26	David Kortenkamp, Scott Bell, Nicholas L. Cassimatis	Sensor-to-Symbol Reasoning for Embedded Intelligence.	AAAI Spring Symposium: Embedded Reasoning	2010	DBLP BibTeX RDF
26	Eric W. Frew, Brian Argrow	Embedded Reasoning for Atmospheric Science Using Unmanned Aircraft Systems.	AAAI Spring Symposium: Embedded Reasoning	2010	DBLP BibTeX RDF
26	Christian Seitz, Steffen Lamparter, Thorsten Schoeler, Michael Pirker	Embedded Rule-Based Reasoning for Digital Product Memories.	AAAI Spring Symposium: Embedded Reasoning	2010	DBLP BibTeX RDF
26	Wlodzimierz Drabent	Hybrid Reasoning with Non-monotonic Rules.	Reasoning Web	2010	DBLP DOI BibTeX RDF
26	Anni-Yasmin Turhan	Reasoning and Explanation in EL and in Expressive Description Logics.	Reasoning Web	2010	DBLP DOI BibTeX RDF
26	David Thau, Shawn Bowers, Bertram Ludäscher	CleanTax: A Framework for Reasoning about Taxonomies.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
26	Matteo Cristani, Nicoletta Gabrielli	Practical Issues of Description Logics for Spatial Reasoning.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
26	Diedrich Wolter	SparQ - A Spatial Reasoning Toolbox.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
26	Jan Oliver Wallgrün	Multi-Hypothesis Topological Mapping Using Qualitative Spatial Reasoning.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
26	Pierre Bessière	Probability as an Alternative to Logic for Rational Sensory-Motor Reasoning and Decision.	Probabilistic Reasoning and Decision Making in Sensory-Motor Systems	2008	DBLP DOI BibTeX RDF
26	Michael W. Hofbaur, Johannes Köb, Gerald Steinbauer, Franz Wotawa	Model-Based Reasoning for Self-Repair of Autonomous Mobile Robots.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
26	Yi-dong Wei	Model-Based Reasoning in Cognitive Science.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
26	Raphael Volz	Change Paths in Reasoning!	New Forms of Reasoning for the Semantic Web	2007	DBLP BibTeX RDF
26	George Anadiotis, Spyros Kotoulas, Ronny Siebes	An Architecture for Peer-to-peer Reasoning.	New Forms of Reasoning for the Semantic Web	2007	DBLP BibTeX RDF
26	Sandeep Chintabathina, Michael Gelfond, Richard Watson 0003	Defeasible Laws, Parallel Actions, and Reasoning about Resources.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2007	DBLP BibTeX RDF
26	Benjamin Johnston, Mary-Anne Williams	A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2007	DBLP BibTeX RDF
26	Piero A. Bonatti, Daniel Olmedilla	Rule-Based Policy Representation and Reasoning for the Semantic Web.	Reasoning Web	2007	DBLP DOI BibTeX RDF
26	Iliano Cervesato	A Spreadsheet for Everyday Symbolic Reasoning.	AAAI Fall Symposium: Integrating Reasoning into Everyday Applications	2006	DBLP BibTeX RDF
26	Alice ter Meulen	Temporal Reasoning in Natural Language.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
26	Marc Denecker, Kristof Van Belleghem	Temporal Reasoning with iff-Abduction.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
26	Steve Hanks, David Madigan	Probabilistic Temporal Reasoning.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
26	Chitta Baral, Michael Gelfond	Logic Programming and Reasoning about Actions.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
26	Michael Fisher 0001, Michael J. Wooldridge	Temporal Reasoning in Agent-Based Systems.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
26	Elpida Keravnou, Yuval Shahar	Temporal Reasoning in Medicine.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
26	Lluís Vila, Hajime Yoshino 0001	Time in Automated Legal Reasoning.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
26	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens	05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
26	Graham Katz, James Pustejovsky, Frank Schilder	05151 Abstracts Collection - Annotating, Extracting and Reasoning about Time and Events.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
26	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski	05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
26	Graham Katz, James Pustejovsky, Frank Schilder	05151 Summary - Annotating, Extracting and Reasoning about Time and Events.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP BibTeX RDF
26	Uta Schwertel	05371 Executive Summary - Principles and Practice of Semantic Web Reasoning (PPSWR).	Principles and Practices of Semantic Web Reasoning	2005	DBLP BibTeX RDF