Search results for "reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Yi Zeng 0001, Yan Wang, Zhisheng Huang, Ning Zhong 0001	Unifying Web-Scale Search and Reasoning from the Viewpoint of Granularity.	AMT	2009	DBLP DOI BibTeX RDF
21	Joachim Hertzberg, Raja Chatila 0001	AI Reasoning Methods for Robotics.	Springer Handbook of Robotics	2008	DBLP DOI BibTeX RDF
21	Zhisheng Huang, Frank van Harmelen	Using Semantic Distances for Reasoning with Inconsistent Ontologies.	ISWC	2008	DBLP DOI BibTeX RDF
21	Hailin Feng, Chenxi Shao, Yi Xu	The Qualitative Spatial Reasoning to Mechanical Configuration.	FSKD (5)	2008	DBLP DOI BibTeX RDF
21	Antonio Morales Nicolás, Isabel Navarrete, Guido Sciavicco	A new modal logic for reasoning about space: spatial propositional neighborhood logic.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B45
21	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001	Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	DL-Lite, Description logics, Query answering, Ontology languages
21	Artur S. d'Avila Garcez	Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning.	Perspectives of Neural-Symbolic Integration	2007	DBLP DOI BibTeX RDF
21	Francesca Toni	Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning.	JSAI	2007	DBLP DOI BibTeX RDF
21	Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev	Reasoning over Extended ER Models.	ER	2007	DBLP DOI BibTeX RDF
21	Jingde Cheng, Shinsuke Nara, Yuichi Goto	FreeEnCal: A Forward Reasoning Engine with General-Purpose.	KES (2)	2007	DBLP DOI BibTeX RDF	Advanced Knowledge-Based Systems, Prediction, Induction, Discovery, Abduction, Deduction, Creation
21	Yalin Zheng, Xiaoping Zou, Ning Wang, Jing Zheng, Ji Ouyang	Knowledge Mass and Multiple Approximate Reasoning in Type I Topological Logic C1 T.	FSKD (1)	2007	DBLP DOI BibTeX RDF
21	Raffi Khatchadourian, Neelam Soundarajan	Rely-guarantee approach to reasoning about aspect-oriented programs.	SPLAT	2007	DBLP DOI BibTeX RDF	aspect-oriented software, modular verification, rely-guarantee
21	Philippe Chapdelaine, Miki Hermann, Ilka Schnoor	Complexity of Default Logic on Generalized Conjunctive Queries.	LPNMR	2007	DBLP DOI BibTeX RDF
21	Dawei Song 0001, Jian-Yun Nie	Introduction to special issue on reasoning in natural language information processing.	ACM Trans. Asian Lang. Inf. Process.	2006	DBLP DOI BibTeX RDF
21	Kedian Mu, Zuoquan Lin, Zhi Jin, Ruqian Lu	Reasoning About Hybrid Probabilistic Knowledge Bases.	PRICAI	2006	DBLP DOI BibTeX RDF
21	Amir Padovitz, Arkady B. Zaslavsky, Seng Wai Loke	Merging Context Perspectives: An Approach to Adaptive Agent Reasoning in Pervasive Computing Systems.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
21	Bart Selman	Integration of Learning and Reasoning Techniques.	ILP	2006	DBLP DOI BibTeX RDF
21	Mehul Bhatt, J. Wenny Rahayu, Gerald Sterling	A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
21	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
21	Mathieu d'Aquin, Jean Lieber, Amedeo Napoli	Decentralized Case-Based Reasoning for the Semantic Web.	ISWC	2005	DBLP DOI BibTeX RDF
21	Josef Kittler, William J. Christmas, Alexey Kostin, Fei Yan 0001, Ilias Kolonias, David Windridge	A Memory Architecture and Contextual Reasoning Framework for Cognitive Vision.	SCIA	2005	DBLP DOI BibTeX RDF
21	Nick Bassiliades, Efstratios Kontopoulos, Grigoris Antoniou, Ioannis P. Vlahavas	A Graphical Rule Authoring Tool for Defeasible Reasoning in the Semantic Web.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF
21	Alex Dekhtyar, Michael I. Dekhtyar	Revisiting the Semantics of Interval Probabilistic Logic Programs.	LPNMR	2005	DBLP DOI BibTeX RDF
21	Daniel S. Yeung, Xizhao Wang, Eric C. C. Tsang	Handling interaction in fuzzy production rule reasoning.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
21	Yongming Li 0001, Sanjiang Li	A fuzzy sets theoretic approach to approximate spatial reasoning.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
21	Pascal Hitzler	Default Reasoning over Domains and Concept Hierarchies.	KI	2004	DBLP DOI BibTeX RDF
21	Mariko Sasakura, Susumu Yamasaki	Visualization with Hierarchically Structured Trees for an Explanation Reasoning System.	IV	2004	DBLP DOI BibTeX RDF
21	Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vlahavas	DR-DEVICE: A Defeasible Logic System for the Semantic Web.	PPSWR	2004	DBLP DOI BibTeX RDF
21	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi	Reasoning on regular path queries.	SIGMOD Rec.	2003	DBLP DOI BibTeX RDF
21	François Bry, Sebastian Schaffert	An Entailment Relation for Reasoning on the Web.	RuleML	2003	DBLP DOI BibTeX RDF
21	Michal Pechoucek, Olga Stepánková, Vladimír Marík, Jaroslav Barta	Abstract Architecture for Meta-reasoning in Multi-agent Systems.	CEEMAS	2003	DBLP DOI BibTeX RDF
21	Chitta Baral, Karen Chancellor, Tran Hoai Nam, Nhan Tran	Representing and reasoning about signal networks: an illustration using NF\kappaB dependent signaling pathways.	CSB	2003	DBLP DOI BibTeX RDF
21	Markus Knauff, Philip N. Johnson-Laird	Reasoning and the Visual-Impedance Hypothesis.	Spatial Cognition	2003	DBLP DOI BibTeX RDF
21	Boris A. Galitsky, Rajesh Mysore Pampapathi	Deductive and Inductive Reasoning for Processing the Claims of Unsatisfied Customers.	IEA/AIE	2003	DBLP DOI BibTeX RDF
21	Amy P. Felty	Two-Level Meta-reasoning in Coq.	TPHOLs	2002	DBLP DOI BibTeX RDF
21	Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran	Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.	JELIA	2002	DBLP DOI BibTeX RDF
21	Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler	Visual Specifications for Modular Reasoning about Asynchronous Systems.	FORTE	2002	DBLP DOI BibTeX RDF
21	Roberta Ferrario	Counterfactual Reasoning.	CONTEXT	2001	DBLP DOI BibTeX RDF
21	Matthew Beaumont, Abdul Sattar 0001, Michael J. Maher, John Thornton 0001	Solving Overconstrained Temporal Reasoning Problems.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
21	Carsten Lutz	NEXPTIME-Complete Description Logics with Concrete Domains.	IJCAR	2001	DBLP DOI BibTeX RDF
21	Hajime Sawamura, Kensuke Kiyozuka	A Hybrid Reasoning System with Diagrams and Sentences.	VL	2000	DBLP DOI BibTeX RDF
21	Shusaku Tsumoto	Diagnostic Reasoning from the Viewpoint of Rough Sets.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
21	Keith Stenning	Aligning Logical and Psychological Contributions to the Understanding of Human Reasoning.	Kognitionswissenschaft	1998	DBLP DOI BibTeX RDF
21	Markus Knauff, Reinhold Rauh, Christoph Schlieder, Gerhard Strube	Mental Models in Spatial Reasoning.	Spatial Cognition	1998	DBLP DOI BibTeX RDF
21	Bridget Beattie, Frans Coenen, Trevor J. M. Bench-Capon, B. M. Diaz, Michael J. R. Shave	Spatial Reasoning for GIS Using a Tesseral Data Representation	DEXA	1995	DBLP DOI BibTeX RDF
21	Richard Pikes	The role of truth maintenance in model-based reasoning (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
21	Antonis Bikakis, Grigoris Antoniou	Defeasible Contextual Reasoning with Arguments in Ambient Intelligence.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	contextual reasoning, argumentation systems, Ambient Intelligence, defeasible reasoning
21	Eliseo Clementini, Spiros Skiadopoulos, Roland Billen, Francesco Tarquini	A Reasoning System of Ternary Projective Relations.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	projective relations, ternary relations, reasoning system, composition tables, geometric configurations, spatial relations, Qualitative spatial reasoning
21	Davide Sottara, Paola Mello, Mark Proctor	A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	nonmonotonic reasoning and belief revision, “fuzzy” and probabilistic reasoning, uncertainty, Inference engines, rule-based processing
21	Myriam Bounhas, Khaled Mellouli	Using Class-Based Reasoning to Improve the Accuracy of Symbolic Rules in a Hybrid Possibilistic Approach.	DBKDA	2010	DBLP DOI BibTeX RDF	Hybrid Possibilistic Inference Mechanism, Possibilistic Networks, Class-based Reasoning, Rule-based Reasoning
21	José Viterbo Filho, Markus Endler	Decentralized Reasoning in Ambient Intelligence.	SEW	2009	DBLP DOI BibTeX RDF	Distributed Reasoning, Ambient Intelligence, Rule-based Reasoning
21	Jingde Cheng	Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic.	HIS	2008	DBLP DOI BibTeX RDF	Anticipatory Reasoning, Relevant Reasoning, Temporal Relevant Logic, Adaptive Prediction
21	Simon C. K. Shiu, Sankar K. Pal	Case-Based Reasoning: Concepts, Features and Soft Computing.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	merits of case-based reasoning, soft case-based reasoning
21	Luca Console, Paolo Terenziani, Daniele Theseider Dupré	Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	computing explanations, knowledge-based systems, temporal reasoning, efficient algorithms, Abductive reasoning, knowledge compilation
21	Maureen Donnelly	Introducing granularity-dependent quantitativedistance and diameter measures in common-sense reasoning contexts.	FOIS	2001	DBLP DOI BibTeX RDF	spatial representation and reasoning, measurement, granularity, common-sense reasoning
21	Jorge Pais, Carlos A. Pinto-Ferreira	The n-dimensional projective approach as a tool for spatial reasoning.	ICTAI	2000	DBLP DOI BibTeX RDF	n-dimensional projective approach, hierarchical modular architecture, spatial backtracking, multiple physical properties, Euclidean space, agent cognitive activities, alternative solutions, performance, reliability, reliability, software agents, flexibility, software performance evaluation, spatial reasoning, spatial reasoning, error recovery, backtracking, cognitive systems
21	Heikki Mannila, Pirjo Ronkainen	Similarity of Event Sequences.	TIME	1997	DBLP DOI BibTeX RDF	event sequence similarity, biostatistics, dynamic programming, knowledge discovery, user interface design, telecommunications, temporal reasoning, temporal reasoning, distance measure
21	Walling R. Cyre	Conceptual Representation of Waveforms for Temporal Reasoning.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	waveforms, common knowledge representation, multiview integration, computational complexity, formal specification, knowledge representation, knowledge representation, specifications, specification, natural languages, natural language, temporal reasoning, temporal reasoning, semantic networks, conceptual graphs, consistency checking, digital systems, timing diagrams, natural language analysis, temporal interval logic, polynomial complexity
21	Chengqi Zhang	Heterogeneous Transformation of Uncertainties of Propositions Among Inexact Reasoning Models.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	heterogeneous transformation, uncertainties of propositions, inexact reasoning models, general criteria, heterogeneous distributed expert system, heterogeneous inexact reasoning, individual unit elements, homomorphic mapping, unique mapping, EMYCIN, PROSPECTOR, MYCIN, homomorphic transformations, distributed processing, expert systems, inference mechanisms, fuzzy set theory, uncertainty handling, semigroup, algebraic structure
21	Stamatis Vassiliadis, George Triantafyllos, Walid Kobrosly	A Fuzzy Reasoning Database Question Answering System.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	database question answering system, pertinent information, comment evaluation, fuzzy evaluator, fuzzy membership value, subject relationship, IBM 4381 computer systems, bookkeeping, functional changes, database evaluation, fuzzy logic, fuzzy logic, query processing, applicability, fuzzy sets, deductive databases, inference mechanisms, fuzzy set theory, membership functions, approximate reasoning, fuzzy reasoning, uncertainty handling, software development cycle
21	Sanjeev N. Trika, Rangasami L. Kashyap	Geometric Reasoning for Extraction of Manufacturing Features in Iso-Oriented Polyhedrons.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	manufacturing feature extraction, iso-oriented polyhedrons, adjacency information, virtual links, face adjacencies, cavity graph, feature graph, primitive graphs, feature hypothesis, feature extraction, computational geometry, graph theory, spatial reasoning, constructive solid geometry, CAD/CAM, CAD/CAM, geometric reasoning, subgraph matching
21	Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco	A Tableau-Based System for Spatial Reasoning about Directional Relations.	TABLEAUX	2009	DBLP DOI BibTeX RDF
21	Susan Craw	We're Wiser Together.	ICCBR	2009	DBLP DOI BibTeX RDF
21	Leonid Libkin, Cristina Sirangelo	Reasoning about XML with Temporal Logics and Automata.	LPAR	2008	DBLP DOI BibTeX RDF	Query automata, XML, static analysis, temporal logics
21	Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri	Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF
21	Antonis Bikakis, Grigoris Antoniou	Alternative Strategies for Contextual Reasoning with Conflicts in Ambient Computing.	RR	2008	DBLP DOI BibTeX RDF
21	Emad Saad	A Logical Approach to Qualitative and Quantitative Reasoning.	ECSQARU	2007	DBLP DOI BibTeX RDF
21	Sanjay Modgil	An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences.	ECSQARU	2007	DBLP DOI BibTeX RDF
21	Christian G. Fermüller, Robert Kosik	Combining Supervaluation and Degree Based Reasoning Under Vagueness.	LPAR	2006	DBLP DOI BibTeX RDF
21	Liviu Badea	Semantic Web Reasoning for Analyzing Gene Expression Profiles.	PPSWR	2006	DBLP DOI BibTeX RDF
21	Jürgen Zimmer, Serge Autexier	The MathServe System for Semantic Web Reasoning Services.	IJCAR	2006	DBLP DOI BibTeX RDF
21	Jan Oliver Wallgrün, Lutz Frommberger, Diedrich Wolter, Frank Dylla, Christian Freksa	Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox.	Spatial Cognition	2006	DBLP DOI BibTeX RDF
21	Alexander Scivos	Reachability and Dependency Calculi: Reasoning in Network Algebras.	Spatial Cognition	2006	DBLP DOI BibTeX RDF
21	María Lourdes Borrajo Diz, Juan M. Corchado, J. Carlos Yáñez, Florentino Fdez-Riverola, Fernando Díaz 0001	Autonomous Internal Control System for Small to Medium Firms.	ICCBR	2005	DBLP DOI BibTeX RDF
21	Y. M. Hu, M. Zhang, T. Wang, Y. S. Shan	Intelligent approach to combining case based reasoning with fuzzy reasoning for design of peritoneal dialysis parameters.	ICARCV	2004	DBLP DOI BibTeX RDF
21	Alessandro Artale	Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.	TIME	2004	DBLP DOI BibTeX RDF
21	Christoph Beierle, Gabriele Kern-Isberner	A Logical Study on Qualitative Default Reasoning with Probabilities.	LPAR	2003	DBLP DOI BibTeX RDF
21	François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger	On Reasoning on Time and Location on the Web.	PPSWR	2003	DBLP DOI BibTeX RDF
21	Norbert E. Fuchs, Uta Schwertel	Reasoning in Attempto Controlled English.	PPSWR	2003	DBLP DOI BibTeX RDF
21	Juan M. Corchado, Emilio Corchado, Jim Aiken, Colin Fyfe, Florentino Fernández Riverola, Manuel Gonzalez	Maximum Likelihood Hebbian Learning Based Retrieval Method for CBR Systems.	ICCBR	2003	DBLP DOI BibTeX RDF
21	Sergio Tessaris, Ian Horrocks 0001	Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.	LPAR	2002	DBLP DOI BibTeX RDF
21	Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran	Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.	TABLEAUX	2002	DBLP DOI BibTeX RDF
21	Massimo Barbera, Cristina Barbero, Paola Dal Zovo, Fernanda Farinaccio, Evangelos Gkroustiotis, Sofoklis A. Kyriazakos, Ivan Mura, Gianluca Previti	An Application of Case-Based Reasoning to the Adaptive Management of Wireless Networks.	ECCBR	2002	DBLP DOI BibTeX RDF
21	Giulianella Coletti, Romano Scozzafava, Barbara Vantaggi	Probabilistic Reasoning as a General Unifying Tool.	ECSQARU	2001	DBLP DOI BibTeX RDF
21	Frédéric Koriche	On Anytime Coherence-Based Reasoning.	ECSQARU	2001	DBLP DOI BibTeX RDF
21	Martijn C. Schut, Michael J. Wooldridge, Simon Parsons	Reasoning about Intentions in Uncertain Domains.	ECSQARU	2001	DBLP DOI BibTeX RDF
21	John S. Gero	Representation and Reasoning about Shapes: Cognitive and Computational Studies in Visual Reasoning in Design.	COSIT	1999	DBLP DOI BibTeX RDF
21	Antonis C. Kakas, Rob Miller 0002, Francesca Toni	An Argumentation Framework of Reasoning about Actions and Change.	LPNMR	1999	DBLP DOI BibTeX RDF
21	Hideo Shimazu	A Textual Case-Based Reasoning System Using XML on the World-Wide Web.	EWCBR	1998	DBLP DOI BibTeX RDF
21	Ernst G. P. Bovenkamp, Jan C. A. van der Lubbe	Temporal Reasoning with Fuzzy Time-Objects.	TIME	1997	DBLP DOI BibTeX RDF
21	Greg Gibbon, Janet Aisbett	Switching between Reasoning and Search.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
21	Hajime Yoshino 0001, Makoto Haraguchi, Seiichiro Sakurai, Sigeru Kagayama	Towards a Legal Analogical Reasoning System: Knowledge Representation and Reasoning Methods.	ICAIL	1993	DBLP DOI BibTeX RDF
21	Sven Eric Panitz	Default Reasoning with a Constraint Resolution Principle.	LPAR	1993	DBLP DOI BibTeX RDF
21	Junzo Suzuki, Naomichi Sueda, Yasuo Gotoh, Akimoto Kamiya	Plant Control Expert System Coping with Unforeseen Events - Model Based Reasoning Using Fuzzy Qualitative Reasoning.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
20	Leopoldo E. Bertossi, Guohui Xiao 0001 (eds.)	Reasoning Web. Causality, Explanations and Declarative Knowledge - 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures	Reasoning Web	2023	DBLP DOI BibTeX RDF
20	Mantas Simkus, Ivan Varzinczak (eds.)	Reasoning Web. Declarative Artificial Intelligence - 17th International Summer School 2021, Leuven, Belgium, September 8-15, 2021, Tutorial Lectures	Reasoning Web	2022	DBLP DOI BibTeX RDF
20	Meng Wang 0009, Ningyu Zhang 0001	Cross-Modal Knowledge Discovery, Inference, and Challenges.	Reasoning Web	2022	DBLP DOI BibTeX RDF
20	Leopoldo E. Bertossi	Attribution-Scores and Causal Counterfactuals as Explanations in Artificial Intelligence.	Reasoning Web	2022	DBLP DOI BibTeX RDF
20	Joohyung Lee 0002, Zhun Yang	Statistical Relational Extension of Answer Set Programming.	Reasoning Web	2022	DBLP DOI BibTeX RDF
20	Teodoro Baldazzi, Luigi Bellomarini, Markus Gerschberger, Aditya Jami, Davide Magnanimi, Markus Nissl, Aleksandar Pavlovic 0002, Emanuel Sallinger	Vadalog: Overview, Extensions and Business Applications.	Reasoning Web	2022	DBLP DOI BibTeX RDF