The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1957-1974 (15) 1975-1976 (16) 1977-1978 (20) 1979 (17) 1980 (29) 1981-1982 (47) 1983 (49) 1984 (65) 1985 (113) 1986 (150) 1987 (192) 1988 (401) 1989 (363) 1990 (355) 1991 (553) 1992 (609) 1993 (620) 1994 (641) 1995 (610) 1996 (712) 1997 (824) 1998 (732) 1999 (797) 2000 (946) 2001 (1078) 2002 (1132) 2003 (1162) 2004 (1622) 2005 (1942) 2006 (1910) 2007 (2183) 2008 (2284) 2009 (1862) 2010 (1303) 2011 (1271) 2012 (1238) 2013 (1393) 2014 (1570) 2015 (1228) 2016 (1482) 2017 (1384) 2018 (1546) 2019 (224)
Publication types (Num. hits)
article(10359) book(131) incollection(479) inproceedings(25012) phdthesis(373) proceedings(336)
Venues (Conferences, Journals, ...)
Int. J. Approx. Reasoning(2157) KR(1106) J. Autom. Reasoning(1045) CoRR(814) ECSQARU(729) LPAR(712) ICCBR(692) ICCS(634) TIME(579) LPNMR(562) IJCAR(412) TABLEAUX(344) IJCAI(338) AAAI(272) Artif. Intell.(247) RR(243) More (+10 of total 3999)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14196 occurrences of 4552 keywords

Results
Found 36690 publication records. Showing 36690 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
82Kai-Yuan Cai, Lei Zhang Fuzzy Reasoning as a Control Problem. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
76Zhaohao Sun, Gavin R. Finnie A Unified 2D Representation of Fuzzy Reasoning, CBR, and Experience Based Reasoning. Search on Bibsonomy KES (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF experience-based reasoning, 2-dimensional (2D) representation, case-based reasoning, abduction, Fuzzy reasoning, experience management
65Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf Reasoning about reasoning in a meta-level architecture. Search on Bibsonomy Appl. Intell. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF knowledge about knowledge, reasoning about reasoning, meta reasoning, multi-agent interaction, Knowledge representation
58Yun Ji Na, Il Seok Ko, Jong Min Kwak A Sales Agent Using Case-Based Reasoning and Rule-Based Reasoning for E-Commerce System. Search on Bibsonomy ICCSA (5) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hybrid Reasoning, Intelligent Agent, Case base reasoning, Rule base reasoning
55Mathieu d'Aquin, Jean Lieber, Amedeo Napoli Case-Based Reasoning Within Semantic Web Technologies. Search on Bibsonomy AIMSA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF description logic reasoning, semantic Web, OWL, Case-based reasoning, oncology
55Tetsuya Murai, Masayuki Sanada, Yasuo Kudo, Yoshiharu Sato Monotonic and Nonmonotonic Reasoning in Zoom Reasoning Systems. Search on Bibsonomy KES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Zoom reasoning System, Monotonic reasoning, Pawlak rough sets, Ziarko variable precision rough set model, Nonmonotonic reasoning
53B. Chandrasekaran 0001 What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications. Search on Bibsonomy Diagrams The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53Jingde Cheng Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. Search on Bibsonomy ISICA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Relevant and truth-preserving reasoning, Ampliative reasoning, Paracomplete and paraconsistent reasoning, Three-dimensional spatio-temporal relevant logic, Spatio-temporal reasoning
51Katie Atkinson, Trevor J. M. Bench-Capon Legal Case-based Reasoning as Practical Reasoning. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2005 DBLP  DOI  BibTeX  RDF intermediate legal concepts, legal decision making, teleological reasoning, argumentation, case based reasoning, practical reasoning
51Tianshe Yang, Zheng Xi, Lida Xu, Xiaoshe Dong, YongXuan Huang Application of uncertainty reasoning theory to satellite fault detection and diagnosis. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Zili Zhang, Chengqi Zhang Reasoning with Multimedia Information Using Symbolic Projection. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Symbolic Projection, Multimedia, Spatial Reasoning, Automated Reasoning, Geometric Reasoning
48Xinyuan Liang Reasoning Algorithm of Multi-Value Fuzzy Causality Diagram Based on Unitizing Coefficient. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Causality Diagram (CD), Single-value, Multi-value, Reasoning Algorithm, Unitizing Coefficient, Fuzzy
47Philippa Gardner Reasoning about client-side web programs: invited talk. Search on Bibsonomy EDBT/ICDT Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
47Yu-Chuan Chang, Shyi-Ming Chen, Churn-Jung Liau Fuzzy Interpolative Reasoning for Sparse Fuzzy-Rule-Based Systems Based on the Areas of Fuzzy Sets. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
47Christian Freksa Using Orientation Information for Qualitative Spatial Reasoning. Search on Bibsonomy Spatio-Temporal Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
46Emad Saad Probabilistic Reasoning by SAT Solvers. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Andrzej Skowron, Piotr Synak Planning Based on Reasoning About Information Changes. Search on Bibsonomy RSCTC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF approximate reasoning schemes, reasoning about changes, rough sets, concept approximation, hierarchical reasoning
45Veronica 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
45Jae Sik Lee, Jin Chun Lee Music for My Mood: A Music Recommendation System Based on Context Reasoning. Search on Bibsonomy EuroSSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Data Mining, Context-Awareness, Case-based Reasoning, Music Recommendation System, Context Reasoning
44Li-Wei Lee, Shyi-Ming Chen A New Fuzzy Interpolative Reasoning Method for Sparse Fuzzy Rule-Based Systems. Search on Bibsonomy IEA/AIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Fuzzy interpolative reasoning, ranking values, ranking interpolative proportional coefficients
43Roni Khardon, Dan Roth Learning to reason. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF knowledge representation, model-based reasoning, common sense reasoning, computational learning
43Moritoshi Yasunaga, Ikuo Yoshihara, Jung Hwan Kim A High Speed and High Fault Tolerant Reconfigurable Reasoning System: Toward a Wafer Scale Reconfigurable Reasoning LSI. Search on Bibsonomy DFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43John A. Barnden, Mark G. Lee An Implemented Context System that Combines Belief Reasoning, Metaphor-Based Reasoning and Uncertainty Handling. Search on Bibsonomy CONTEXT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
43Pascal Nicolas, Frédéric Saubion, Igor Stéphan Combining heuristics for default logic reasoning systems. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF default logic reasoning systems, theoretical complexity, local search techniques, automated default reasoning system, genetic algorithms, genetic algorithms, computational complexity, artificial intelligence, knowledge representation, knowledge representation, heuristics, nonmonotonic reasoning, nonmonotonic reasoning, expressive power
41Kevin D. Ashley Ontological requirements for analogical, teleological, and hypothetical legal reasoning. Search on Bibsonomy ICAIL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF legal ontologies, analogical reasoning, hypothetical reasoning
41Rohani Binti Abu Bakar, Junzo Watada Evidential Reasoning Based on DNA Computation. Search on Bibsonomy KES (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Reasoning, DNA computing, Belief function, Evidential reasoning, Plausibility
41Hisao Ishibuchi, Takashi Yamamoto, Tomoharu Nakashima An approach to fuzzy default reasoning for function approximation. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fuzzy number-valued function, Fuzzy modeling, Fuzzy reasoning, Genetics-based machine learning, Default reasoning
41Fei Xie, James C. Browne, Robert P. Kurshan Translation-Based Compositional Reasoning for Software Systems. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Translation-based compositional reasoning, model checking, compositional reasoning, model translation
41Stijn Heymans, Li Ma 0002, Darko Anicic, Zhilei Ma, Nathalie Steinmetz, Yue Pan, Jing Mei, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Cristina Feier, Graham Hench, Branimir Wetzstein, Uwe Keller Ontology Reasoning with Large Data Repositories. Search on Bibsonomy Ontology Management The full citation details ... 2008 DBLP  DOI  BibTeX  RDF business repository, reasoning with large datasets, WSML DL, IRIS, Semantic Business Process Management, OWL DL
41Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern Automated Theorem Proving in Euler Diagram Systems. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Heuristics, Visual languages, Diagrammatic reasoning, Euler diagrams
40Qiming Fang, Ying Zhao, Guangwen Yang, Weimin Zheng Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning. Search on Bibsonomy ASWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Didier Dubois, Henri Prade Approximate and Commonsense Reasoning: From Theory to Practice. Search on Bibsonomy ISMIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
40Xudong He A method for analyzing properties of hierarchical predicate transition nets. Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
40Mal-Rey Lee An Exception Handling of Rule-Based Reasoning Using Case-Based Reasoning. Search on Bibsonomy Journal of Intelligent and Robotic Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF knowledge acquisition, exception handling, case-based reasoning, rule-based reasoning
40Bernhard Heinemann A Hybrid Treatment of Evolutionary Sets. Search on Bibsonomy MICAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF modal logic, temporal reasoning, hybrid logic, topological reasoning, reasoning about knowledge
39Shuguang Li, Qing Jiang, Chris George Combining case-based and model-based reasoning: a formal specification. Search on Bibsonomy APSEC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF generalised design information, rule language, formal specification, formal specification, data structures, retrieval, selection, case-based reasoning, case-based reasoning, model-based reasoning, model-based reasoning, intelligent design assistants, abstraction mechanism
39Natsumi Kitajima, Yuichi Goto, Jingde Cheng Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF computing anticipatory systems, action reasoning engine, decision-making, qualitative reasoning, reasoning about actions
38Karen Zee, Viktor Kuncak, Martin C. Rinard An integrated proof language for imperative programs. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF verification, theorem prover, proof system
38Grigoris Antoniou, Antonis Bikakis DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Semantic Web reasoning, Rules, nonmonotonic reasoning
38Boris A. Galitsky Merging deductive and inductive reasoning for processing textual descriptions of inter-human conflicts. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hybrid reasoning system, Multiagent conflict, Deterministic machine learning, Reasoning about action
38Baher A. El-Geresy The Space Algebra: Spatial Reasoning without Composition Tables. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Knowledge Representation, Qualitative Reasoning, Reasoning Under Uncertainty
37Hung Son Nguyen Approximate Boolean Reasoning: Foundations and Applications in Data Mining. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2006 DBLP  DOI  BibTeX  RDF boolean reasoning, feature selection and extraction, decision rule construction, large data tables, data mining, Rough sets, association rules, discretization, decision tree induction
37Riccardo Rosati Finite Model Reasoning in DL-Lite. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Julio Pacheco, M. Teresa Escrig, Francisco Toledo Integrating 3D Orientation Models. Search on Bibsonomy CCIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Qualitative Orientation, Spatial Reasoning, Qualitative Reasoning, Model-Based Reasoning
36Yi Zhou, Yan Zhang Meta Level Reasoning and Default Reasoning. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler What Is Approximate Reasoning?. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Silvio Ranise Combining Generic and Domain Specific Reasoning by Using Contexts. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Jean Lieber Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation. Search on Bibsonomy ICCBR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF knowledge-intensive case-based reasoning, conservative adaptation, theory of revision, logical representation of cases, application to oncology, adaptation, case-based reasoning
35Yalin Zheng, Huaqiang Yuan, Ning Wang, Guang Yang 0002, Yongcheng Bai Knowledge Mass and Automatic Reasoning System in Similarity Logic CQ. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formula Mass, Knowledge Mass, ??logic, ??automatic Reasoning System, Extended ??automatic Reasoning System, Level (k and j) Perfection of Extended Knowledge Base, Approximate Reasoning
35Isabel Navarrete, Abdul Sattar 0001, Roque Marín Deciding consistency of a point-duration network with metric constraints. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Temporal representation and reasoning in AI, temporal constraint reasoning, point and duration reasoning
35Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller Efficient defeasible reasoning systems. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF defeasible reasoning systems, highly expressive logics, backward chaining approach, forward-chaining implementation, computational complexity, business rules, nonmonotonic reasoning, nonmonotonic reasoning, modelling language, linear complexity, query answering system, backward chaining
35William L. Kuechler Jr., Nina Lim, Vijay K. Vaishnavi A smart object approach to hybrid knowledge representation and reasoning strategies. Search on Bibsonomy HICSS (3) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF smart object approach, reasoning strategies, human reasoning, non-trivial real world problems, multiple reasoning strategies, multiple domain knowledge, smart object paradigm, complex knowledge based systems, multiple inference strategies, engineered artifacts, high level object structure, rule based lower level language, complex knowledge based system, prototype KBS, object-oriented programming, knowledge representation, knowledge based systems, inference mechanisms, hybrid knowledge representation
35Xinyu Feng Local rely-guarantee reasoning. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning
35Ha Manh Tran, Jürgen Schönwälder Fault Resolution in Case-Based Reasoning. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Fault Resolution, Case-Based Reasoning, Probabilistic Reasoning, Fault Management
35Arthur Buchsbaum, Tarcisio H. C. Pequeno, Marcelino Pequeno A logical expression of reasoning. Search on Bibsonomy Synthese The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ampliative reasoning, Complex reasoning, Epistemic modalities, Default logic, Non-monotonic logic, Paraconsistency
35Eva Armengol, Francesc Esteva, Lluis Godo, Vicenç Torra On Learning Similarity Relations in Fuzzy Case-Based Reasoning. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2004 DBLP  DOI  BibTeX  RDF case–base reasoning, fuzzy case–base reasoning, aggregation, similarity relation
35Yugyung Lee, James Geller Efficient Transitive Closure Reasoning in a Combined Class-Part-Containment Hierarchy. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF IS-A hierarchies, Materialized transitive closure, Parallel artificial intelligence, Parallel reasoning, Part hierarchies, Transitive closure reasoning
35Clemens Ballarin, Lawrence C. Paulson Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF mechanised reasoning, combining systems, soundness of computer algebra systems, specialisation problem, AISC topics, Integration of logical reasoning and computer algebra, Computer algebra, coding theory, automated theorem provers
35Ricardo A. Munoz, Chao-Chih Yang Using Normal Deduction Graphs in Default Reasoning. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF normal deduction graph, Artificial intelligence, logic programming, inference, first-order logic, commonsense reasoning, default reasoning
34J. William Murdock, Ashok K. Goel 0001 Meta-case-Based Reasoning: Using Functional Models to Adapt Case-Based Agents. Search on Bibsonomy ICCBR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Maria Eunice Quilici González, Mariana Claudia Broens, Fabricio Loffredo D'Ottaviano Abductive Reasoning, Information, and Mechanical Systems. Search on Bibsonomy Model-Based Reasoning in Science, Technology, and Medicine The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Erland Jungert The Observer's Point of View: An Extension of Symbolic Projections. Search on Bibsonomy Spatio-Temporal Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
34Chulki Lee, Sungchan Park, Dongjoo Lee, Jae-won Lee, Ok-Ran Jeong, Sang-goo Lee A comparison of ontology reasoning systems using query sequences. Search on Bibsonomy ICUIMC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ontology reasoning system, query sequence, benchmark
34Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF assume-guarantee reasoning
34Jae Heon Park, Kwang Hyuk Im, Chung-Kwan Shin, Sang-Chan Park MBNR: Case-Based Reasoning with Local Feature Weighting by Neural Network. Search on Bibsonomy Appl. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF local feature weighting, neural network, hybrid system, case-based reasoning
34Aimo Hinkkanen, Karl Reiner Lang, Andrew B. Whinston A Set-Theoretical Foundation of Qualitative Reasoning and its Application to the Modeling of Economics and Business Management Problems. Search on Bibsonomy Information Systems Frontiers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF simulation, incomplete information, qualitative reasoning, epistemology, qualitative modeling
34Janet L. Kolodner An introduction to case-based reasoning. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF experience, problem-solving, Case-based reasoning
33Martin C. Rinard Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Amir Padovitz, Seng Wai Loke, Arkady B. Zaslavsky Multiple-Agent Perspectives in Reasoning About Situations for Context-Aware Pervasive Computing Systems. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics, Part A The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Luciano Serafini, Andrei Tamilin DRAGO: Distributed Reasoning Architecture for the Semantic Web. Search on Bibsonomy ESWC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Alessandra Agostini, Claudio Bettini, Daniele Riboni Loosely Coupling Ontological Reasoning with an Efficient Middleware for Context-awareness. Search on Bibsonomy MobiQuitous The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Douglas S. Green, David C. Brown Qualitative reasoning about fit (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
33Kevin D. Ashley, Collin Lynch, Niels Pinkwart, Vincent Aleven Toward Modeling and Teaching Legal Case-Based Adaptation with Expert Examples. Search on Bibsonomy ICCBR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Case-based adaptation, Legal reasoning, Hypothetical reasoning
33John Howse Diagrammatic Reasoning Systems. Search on Bibsonomy ICCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF information visualization, automated reasoning, software specification, diagrammatic reasoning, Visual formalisms
33Hajar Mat Jani, Sai Peck Lee Applying Machine Learning Using Case-Based Reasoning (CBR) and Rule-Based Reasoning (RBR) Approaches to Object-Oriented Application Framework Documentation. Search on Bibsonomy ICITA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF case-based reasoning, rule-based reasoning, learning curve, Object-oriented application framework, framework documentation
33David M. Mark Counter-Intuitive Geographic "Facts": Clues for Spatial Reasoning at Geographic Scales. Search on Bibsonomy Spatio-Temporal Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Fidel Aznar Gregori, Mar Pujol López, Ramón Rizo Obtaining a Bayesian Map for Data Fusion and Failure Detection Under Uncertainty. Search on Bibsonomy IEA/AIE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Autonomous Agents, Spatial Reasoning, Model-based Reasoning, Reasoning Under Uncertainty
33Yau-Hwang Kuo, Shiuh-Chu Lee Software Development Tool for Object-Oriented Fuzzy Knowledge Systems. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF object oriented fuzzy knowledge systems, fuzzy reasoning concept, reasoning power, novel fuzzy linguistic object model, three layered structure, knowledge acquisition layer, object design layer, program design layer, fuzzy knowledge systems, object simulator, knowledge representation, software tools, expert system, rapid prototyping, inheritances, approximate reasoning, rule base, object oriented paradigm, software development tool, design information, problem solving process
33Yi Zhang, Zongbin Li, Jikong Wang Hierarchical Reasoning Model of Tolerance Information and Its Using in Reasoning Technique of Geometric Tolerance Types. Search on Bibsonomy ICIRA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Tolerance information, Reasoning model, Polychromatic sets, Tolerance types
32Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler Approximate OWL-Reasoning with Screech. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Fábio Porto Reasoning on Dynamically Built Reasoning Space with Ontology Modules. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Rolf Haenni Unifying Logical and Probabilistic Reasoning. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Paulo Gomes, Francisco C. Pereira, Nuno Seco, Paulo Paiva, Paulo Carreiro, José Luís Ferreira, Carlos Bento Combining Case-Based Reasoning and Analogical Reasoning in Software Design. Search on Bibsonomy AICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF DL-Lite, Description logics, Query answering, Ontology languages
32John Woods The Concept of Fallacy is Empty. Search on Bibsonomy Model-Based Reasoning in Science, Technology, and Medicine The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin Strategic Agent Communication: An Argumentation-Driven Approach. Search on Bibsonomy DALT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Complexity, Argumentation, Agent Communication, Strategic Reasoning, Social Commitments
32Yang Xiang Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks. Search on Bibsonomy ISMIS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF distributed reasoning, Bayesian networks, distributed artificial intelligence, approximate reasoning, probabilistic reasoning, knowledge representation and integration
32Hatem Hamza, Yolande Belaïd, Abdel Belaïd Case-Based Reasoning for Invoice Analysis and Recognition. Search on Bibsonomy ICCBR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF document case, structure case, invoice analysis, invoice interpretation, structure extraction, Case-based reasoning
32Thomas Roth-Berghofer, Thomas Reinartz MAMA: A Maintenance Manual for Case-Based Reasoning Systems. Search on Bibsonomy ICCBR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF CBR process, maintenance manual, methodology, process model, maintenance, Case-Based Reasoning
31Natsumi Kitajima, Yuichi Goto, Jingde Cheng Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. Search on Bibsonomy HAIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Terminal radar control, Anticipatory reasoning-reacting system, Decision-making, Reasoning about actions
31Adam Zachary Wyner An ontology in OWL for legal case-based reasoning. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Legal cases, Ontology, OWL, Case-based reasoning, Legal reasoning
31Hailin Feng, Chenxi Shao, Yi Xu Fuzzy Reasoning Approach for Conceptual Design. Search on Bibsonomy ISNN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mechanical configuration, Spatial reasoning, Conceptual design, Fuzzy reasoning
31Tao Gu, Hung Keng Pung, Daqing Zhang 0001 Peer-to-Peer Context Reasoning in Pervasive Computing Environments. Search on Bibsonomy PerCom The full citation details ... 2008 DBLP  DOI  BibTeX  RDF P2P reasoning, context reasoning
31Stefan Schleipen, Marco Ragni, Thomas Fangmeier Negation in Spatial Reasoning. Search on Bibsonomy KI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Cognitive modeling, Spatial Reasoning, Knowledge Representation and Reasoning
31Bernhard Heinemann A Hybrid Logic of Knowledge Supporting Topological Reasoning. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF logical frameworks for reasoning, reasoning about knowledge and topology, completeness, decidability, hybridization
31José Carlos Loureiro Ralha, Célia Ghedini Ralha Towards a Natural Way of Reasoning. Search on Bibsonomy SBIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF argumentative systems, non-monotonic reasoning, generalized quantifiers, defeasible reasoning
31Bartlomiej Sniezynski Basic Semantics of the Logic of Plausible Reasoning. Search on Bibsonomy ISMIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF logic of plausible reasoning, uncertain knowledge representation, semantics of the logic of plausible reasoning
31Gerard Ligozat When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings. Search on Bibsonomy COSIT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF weak representation, complete theory, relation algebra, temporal reasoning, spatial reasoning
31Li Yang, Mukesh Dalal Empirical Results on Anytime Propositional Reasoning . Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF AI Algorithms, Automated reasoning Anytime Reasoning with Probabilistic Inequalities
Displaying result #1 - #100 of 36690 (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 Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license