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 (16) 1975-1976 (16) 1977-1978 (21) 1979 (17) 1980 (31) 1981 (16) 1982 (33) 1983 (53) 1984 (68) 1985 (93) 1986 (143) 1987 (160) 1988 (293) 1989 (329) 1990 (323) 1991 (525) 1992 (554) 1993 (573) 1994 (615) 1995 (586) 1996 (678) 1997 (762) 1998 (684) 1999 (743) 2000 (906) 2001 (1057) 2002 (1120) 2003 (1103) 2004 (1598) 2005 (1909) 2006 (1889) 2007 (2081) 2008 (2171) 2009 (1750) 2010 (1220) 2011 (1183) 2012 (1156) 2013 (1287) 2014 (1460) 2015 (1156) 2016 (1390) 2017 (1218) 2018 (1474) 2019 (1455) 2020 (1658) 2021 (1755) 2022 (2052) 2023 (2719) 2024 (660)
Publication types (Num. hits)
article(11750) book(166) data(3) incollection(712) inproceedings(30951) phdthesis(718) proceedings(459)
Venues (Conferences, Journals, ...)
CoRR(3383) KR(1417) ECSQARU(856) ICCBR(819) LPAR(769) ICCS(703) TIME(697) LPNMR(628) IJCAR(456) AAAI(437) TABLEAUX(423) IJCAI(418) CogSci(348) Description Logics(288) Artif. Intell.(267) AAMAS(243) More (+10 of total 4865)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13906 occurrences of 4505 keywords

Results
Found 44759 publication records. Showing 44759 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
72Kai-Yuan Cai, Lei Zhang Fuzzy Reasoning as a Control Problem. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
70Zhaohao 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
61Luigia 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
55Yun 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
52Tetsuya 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
51Mathieu 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
51Jingde 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
50Christian Freksa Using Orientation Information for Qualitative Spatial Reasoning. Search on Bibsonomy Spatio-Temporal Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
49Katie 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
48B. 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
46Zili Zhang 0001, 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
45Tianshe 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
43Xinyuan 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
43Andrzej 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
42Philippa Gardner Reasoning about client-side web programs: invited talk. Search on Bibsonomy EDBT/ICDT Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
42Yu-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 Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Jae 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
42Emad Saad Probabilistic Reasoning by SAT Solvers. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Pascal 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
40Li-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
39Veronica 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
39Roni 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
39Xudong 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
39Kevin 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
39Rohani 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
39Hisao 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
39Fei 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
39Moritoshi 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
39John 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
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
38Mal-Rey Lee An Exception Handling of Rule-Based Reasoning Using Case-Based Reasoning. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF knowledge acquisition, exception handling, case-based reasoning, rule-based reasoning
38Maria 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
38Alessandro 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
38Erland 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
38David 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
37Bernhard 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
37Stijn 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
37Natsumi 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
36Qiming 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
36Didier Dubois, Henri Prade Approximate and Commonsense Reasoning: From Theory to Practice. Search on Bibsonomy ISMIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
36Grigoris 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
36Boris 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
36Baher 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
35John 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
35Jean 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
35Larry Wos The Flowering of Automated Reasoning. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Dimitris Papadias, Timos K. Sellis Spatial Reasoning Using Symbolic Arrays. Search on Bibsonomy Spatio-Temporal Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
35Shaun Futch, David N. Chin, Matthew McGranaghan, Jinn-Guey Lay Spatial-Linguistic Reasoning in LEI (Locality and Elevation Interpreter). Search on Bibsonomy Spatio-Temporal Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
34Julio 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
34Hung 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
34Yalin 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
34Isabel 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
34Michael 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
34William 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
33Karen 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
33Riccardo Rosati 0001 Finite Model Reasoning in DL-Lite. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Xinyu Feng 0001 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
33Ha 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
33Arthur Buchsbaum, Tarcisio H. C. Pequeno, Marcelino Pequeno A logical expression of reasoning. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ampliative reasoning, Complex reasoning, Epistemic modalities, Default logic, Non-monotonic logic, Paraconsistency
33Eva Armengol, Francesc Esteva, Lluís 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
33Yugyung 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
33Clemens 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
33Ricardo 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
33Yi Zhou 0013, Yan Zhang 0003 Meta Level Reasoning and Default Reasoning. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler What Is Approximate Reasoning?. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Silvio Ranise Combining Generic and Domain Specific Reasoning by Using Contexts. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Kevin D. Ashley, Collin F. 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
32John 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
32Hajar 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
32Franz Baader Description Logics. Search on Bibsonomy Reasoning Web The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Riccardo Rosati 0001 Integrating Ontologies and Rules: Semantic and Computational Issues. Search on Bibsonomy Reasoning Web The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32J. 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
32Rainer Schmidt 0002, Tina Waligora, Olga Vorobieva Prototypes and Case-Based Reasoning for Medical Applications. Search on Bibsonomy Case-Based Reasoning on Images and Signals The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Isabelle Bichindaritz Memory Structures and Organization in Case-Based Reasoning. Search on Bibsonomy Case-Based Reasoning on Images and Signals The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Peter Funk 0001, Ning Xiong 0001 Extracting Knowledge from Sensor Signals for Case-Based Reasoning with Longitudinal Time Series Data. Search on Bibsonomy Case-Based Reasoning on Images and Signals The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32David C. Wilson, Dympna O'Sullivan Medical Imagery in Case-Based Reasoning. Search on Bibsonomy Case-Based Reasoning on Images and Signals The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Sundari Krishnamurthy An Examination of Model-Based Reasoning in Science and Medicine in India. Search on Bibsonomy Model-Based Reasoning in Science, Technology, and Medicine The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Zhikang Wang Model-Based Reasoning and Diagnosis in Traditional Chinese Medicine (TCM). Search on Bibsonomy Model-Based Reasoning in Science, Technology, and Medicine The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Ulrike Sattler Reasoning in Description Logics: Basics, Extensions, and Relatives. Search on Bibsonomy Reasoning Web The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Alberto Martelli, Laura Giordano 0001 Reasoning About Web Services in a Temporal Action Logic. Search on Bibsonomy Reasoning, Action and Interaction in AI Theories and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits Reasoning with Rules and Ontologies. Search on Bibsonomy Reasoning Web The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Spyros Kotoulas Semantic and Reasoning Systems for Cities and Citizens. Search on Bibsonomy Reasoning Web The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
32Carlos Pedrinaci, Tim Smithers, Amaia Bernaras Opportunistic Reasoning for the Semantic Web: Adapting Reasoning to the Environment. Search on Bibsonomy New Forms of Reasoning for the Semantic Web The full citation details ... 2007 DBLP  BibTeX  RDF
32Max J. Egenhofer, Khaled K. Al-Taha Reasoning about Gradual Changes of Topological Relationships. Search on Bibsonomy Spatio-Temporal Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
31Fidel 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
31Yau-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
31Chulki 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
31Jamieson 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
31Jae 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
31Aimo 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 Inf. Syst. Frontiers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF simulation, incomplete information, qualitative reasoning, epistemology, qualitative modeling
31Janet 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
31Yang 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
31Yi 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
31Silvie Spreeuwenberg, Rik Gerrits Business Rules in the Semantic Web, Are There Any or Are They Different? Search on Bibsonomy Reasoning Web The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Rule standards, Reasoning languages, Semantic Web, Specification languages, Business rules, SBVR
31Inderjeet Mani Chronoscopes : A Theory of Underspecified Temporal Representations. Search on Bibsonomy Annotating, Extracting and Reasoning about Time and Events The full citation details ... 2005 DBLP  DOI  BibTeX  RDF temporal information extraction, abstraction, temporal reasoning, granularity
31Hatem 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
31Thomas 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
30Martin 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
30Amir 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. Syst. Man Cybern. Part A The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Alessandra 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
Displaying result #1 - #100 of 44759 (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