Search results for "reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Kai-Yuan Cai, Lei Zhang	Fuzzy Reasoning as a Control Problem.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
70	Zhaohao Sun, Gavin R. Finnie	A Unified 2D Representation of Fuzzy Reasoning, CBR, and Experience Based Reasoning.	KES (1)	2006	DBLP DOI BibTeX RDF	experience-based reasoning, 2-dimensional (2D) representation, case-based reasoning, abduction, Fuzzy reasoning, experience management
61	Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf	Reasoning about reasoning in a meta-level architecture.	Appl. Intell.	1991	DBLP DOI BibTeX RDF	knowledge about knowledge, reasoning about reasoning, meta reasoning, multi-agent interaction, Knowledge representation
55	Yun Ji Na, Il Seok Ko, Jong Min Kwak	A Sales Agent Using Case-Based Reasoning and Rule-Based Reasoning for E-Commerce System.	ICCSA (5)	2006	DBLP DOI BibTeX RDF	Hybrid Reasoning, Intelligent Agent, Case base reasoning, Rule base reasoning
52	Tetsuya Murai, Masayuki Sanada, Yasuo Kudo, Yoshiharu Sato	Monotonic and Nonmonotonic Reasoning in Zoom Reasoning Systems.	KES	2004	DBLP DOI BibTeX RDF	Zoom reasoning System, Monotonic reasoning, Pawlak rough sets, Ziarko variable precision rough set model, Nonmonotonic reasoning
51	Mathieu d'Aquin, Jean Lieber, Amedeo Napoli	Case-Based Reasoning Within Semantic Web Technologies.	AIMSA	2006	DBLP DOI BibTeX RDF	description logic reasoning, semantic Web, OWL, Case-based reasoning, oncology
51	Jingde Cheng	Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space.	ISICA	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
50	Christian Freksa	Using Orientation Information for Qualitative Spatial Reasoning.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
49	Katie Atkinson, Trevor J. M. Bench-Capon	Legal Case-based Reasoning as Practical Reasoning.	Artif. Intell. Law	2005	DBLP DOI BibTeX RDF	intermediate legal concepts, legal decision making, teleological reasoning, argumentation, case based reasoning, practical reasoning
48	B. Chandrasekaran 0001	What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications.	Diagrams	2002	DBLP DOI BibTeX RDF
46	Zili Zhang 0001, Chengqi Zhang	Reasoning with Multimedia Information Using Symbolic Projection.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF	Symbolic Projection, Multimedia, Spatial Reasoning, Automated Reasoning, Geometric Reasoning
45	Tianshe Yang, Zheng Xi, Lida Xu, Xiaoshe Dong, YongXuan Huang	Application of uncertainty reasoning theory to satellite fault detection and diagnosis.	SMC	2007	DBLP DOI BibTeX RDF
43	Xinyuan Liang	Reasoning Algorithm of Multi-Value Fuzzy Causality Diagram Based on Unitizing Coefficient.	GrC	2007	DBLP DOI BibTeX RDF	Causality Diagram (CD), Single-value, Multi-value, Reasoning Algorithm, Unitizing Coefficient, Fuzzy
43	Andrzej Skowron, Piotr Synak	Planning Based on Reasoning About Information Changes.	RSCTC	2006	DBLP DOI BibTeX RDF	approximate reasoning schemes, reasoning about changes, rough sets, concept approximation, hierarchical reasoning
42	Philippa Gardner	Reasoning about client-side web programs: invited talk.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF
42	Yu-Chuan Chang, Shyi-Ming Chen, Churn-Jung Liau	Fuzzy Interpolative Reasoning for Sparse Fuzzy-Rule-Based Systems Based on the Areas of Fuzzy Sets.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
42	Jae Sik Lee, Jin Chun Lee	Music for My Mood: A Music Recommendation System Based on Context Reasoning.	EuroSSC	2006	DBLP DOI BibTeX RDF	Data Mining, Context-Awareness, Case-based Reasoning, Music Recommendation System, Context Reasoning
42	Emad Saad	Probabilistic Reasoning by SAT Solvers.	ECSQARU	2009	DBLP DOI BibTeX RDF
42	Pascal Nicolas, Frédéric Saubion, Igor Stéphan	Combining heuristics for default logic reasoning systems.	ICTAI	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
40	Li-Wei Lee, Shyi-Ming Chen	A New Fuzzy Interpolative Reasoning Method for Sparse Fuzzy Rule-Based Systems.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Fuzzy interpolative reasoning, ranking values, ranking interpolative proportional coefficients
39	Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo	Probabilistic logic under coherence: complexity and algorithms.	Ann. Math. Artif. Intell.	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
39	Roni Khardon, Dan Roth	Learning to reason.	J. ACM	1997	DBLP DOI BibTeX RDF	knowledge representation, model-based reasoning, common sense reasoning, computational learning
39	Xudong He	A method for analyzing properties of hierarchical predicate transition nets.	COMPSAC	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
39	Kevin D. Ashley	Ontological requirements for analogical, teleological, and hypothetical legal reasoning.	ICAIL	2009	DBLP DOI BibTeX RDF	legal ontologies, analogical reasoning, hypothetical reasoning
39	Rohani Binti Abu Bakar, Junzo Watada	Evidential Reasoning Based on DNA Computation.	KES (2)	2009	DBLP DOI BibTeX RDF	Reasoning, DNA computing, Belief function, Evidential reasoning, Plausibility
39	Hisao Ishibuchi, Takashi Yamamoto, Tomoharu Nakashima	An approach to fuzzy default reasoning for function approximation.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Fuzzy number-valued function, Fuzzy modeling, Fuzzy reasoning, Genetics-based machine learning, Default reasoning
39	Fei Xie, James C. Browne, Robert P. Kurshan	Translation-Based Compositional Reasoning for Software Systems.	FME	2003	DBLP DOI BibTeX RDF	Translation-based compositional reasoning, model checking, compositional reasoning, model translation
39	Moritoshi Yasunaga, Ikuo Yoshihara, Jung Hwan Kim	A High Speed and High Fault Tolerant Reconfigurable Reasoning System: Toward a Wafer Scale Reconfigurable Reasoning LSI.	DFT	2000	DBLP DOI BibTeX RDF
39	John A. Barnden, Mark G. Lee	An Implemented Context System that Combines Belief Reasoning, Metaphor-Based Reasoning and Uncertainty Handling.	CONTEXT	1999	DBLP DOI BibTeX RDF
39	Shuguang Li, Qing Jiang, Chris George	Combining case-based and model-based reasoning: a formal specification.	APSEC	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
38	Mal-Rey Lee	An Exception Handling of Rule-Based Reasoning Using Case-Based Reasoning.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	knowledge acquisition, exception handling, case-based reasoning, rule-based reasoning
38	Maria Eunice Quilici González, Mariana Claudia Broens, Fabricio Loffredo D'Ottaviano	Abductive Reasoning, Information, and Mechanical Systems.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
38	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella	SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
38	Erland Jungert	The Observer's Point of View: An Extension of Symbolic Projections.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
38	David M. Mark	Counter-Intuitive Geographic "Facts": Clues for Spatial Reasoning at Geographic Scales.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
37	Bernhard Heinemann	A Hybrid Treatment of Evolutionary Sets.	MICAI	2002	DBLP DOI BibTeX RDF	modal logic, temporal reasoning, hybrid logic, topological reasoning, reasoning about knowledge
37	Stijn 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.	Ontology Management	2008	DBLP DOI BibTeX RDF	business repository, reasoning with large datasets, WSML DL, IRIS, Semantic Business Process Management, OWL DL
37	Natsumi Kitajima, Yuichi Goto, Jingde Cheng	Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems.	ARES	2008	DBLP DOI BibTeX RDF	computing anticipatory systems, action reasoning engine, decision-making, qualitative reasoning, reasoning about actions
36	Qiming Fang, Ying Zhao, Guangwen Yang, Weimin Zheng	Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning.	ASWC	2008	DBLP DOI BibTeX RDF
36	Didier Dubois, Henri Prade	Approximate and Commonsense Reasoning: From Theory to Practice.	ISMIS	1996	DBLP DOI BibTeX RDF
36	Grigoris Antoniou, Antonis Bikakis	DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Semantic Web reasoning, Rules, nonmonotonic reasoning
36	Boris A. Galitsky	Merging deductive and inductive reasoning for processing textual descriptions of inter-human conflicts.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Hybrid reasoning system, Multiagent conflict, Deterministic machine learning, Reasoning about action
36	Baher A. El-Geresy	The Space Algebra: Spatial Reasoning without Composition Tables.	ICTAI	1997	DBLP DOI BibTeX RDF	Knowledge Representation, Qualitative Reasoning, Reasoning Under Uncertainty
35	John Woods	The Concept of Fallacy is Empty.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
35	Jean Lieber	Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation.	ICCBR	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
35	Larry Wos	The Flowering of Automated Reasoning.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
35	Dimitris Papadias, Timos K. Sellis	Spatial Reasoning Using Symbolic Arrays.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
35	Shaun Futch, David N. Chin, Matthew McGranaghan, Jinn-Guey Lay	Spatial-Linguistic Reasoning in LEI (Locality and Elevation Interpreter).	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
34	Julio Pacheco, M. Teresa Escrig, Francisco Toledo	Integrating 3D Orientation Models.	CCIA	2002	DBLP DOI BibTeX RDF	Qualitative Orientation, Spatial Reasoning, Qualitative Reasoning, Model-Based Reasoning
34	Hung Son Nguyen	Approximate Boolean Reasoning: Foundations and Applications in Data Mining.	Trans. Rough Sets	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
34	Yalin Zheng, Huaqiang Yuan, Ning Wang, Guang Yang 0002, Yongcheng Bai	Knowledge Mass and Automatic Reasoning System in Similarity Logic CQ.	ICFIE	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
34	Isabel Navarrete, Abdul Sattar 0001, Roque Marín	Deciding consistency of a point-duration network with metric constraints.	TIME	2003	DBLP DOI BibTeX RDF	Temporal representation and reasoning in AI, temporal constraint reasoning, point and duration reasoning
34	Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller	Efficient defeasible reasoning systems.	ICTAI	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
34	William L. Kuechler Jr., Nina Lim, Vijay K. Vaishnavi	A smart object approach to hybrid knowledge representation and reasoning strategies.	HICSS (3)	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
33	Karen Zee, Viktor Kuncak, Martin C. Rinard	An integrated proof language for imperative programs.	PLDI	2009	DBLP DOI BibTeX RDF	verification, theorem prover, proof system
33	Riccardo Rosati 0001	Finite Model Reasoning in DL-Lite.	ESWC	2008	DBLP DOI BibTeX RDF
33	Xinyu Feng 0001	Local rely-guarantee reasoning.	POPL	2009	DBLP DOI BibTeX RDF	rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning
33	Ha Manh Tran, Jürgen Schönwälder	Fault Resolution in Case-Based Reasoning.	PRICAI	2008	DBLP DOI BibTeX RDF	Fault Resolution, Case-Based Reasoning, Probabilistic Reasoning, Fault Management
33	Arthur Buchsbaum, Tarcisio H. C. Pequeno, Marcelino Pequeno	A logical expression of reasoning.	Synth.	2007	DBLP DOI BibTeX RDF	Ampliative reasoning, Complex reasoning, Epistemic modalities, Default logic, Non-monotonic logic, Paraconsistency
33	Eva Armengol, Francesc Esteva, Lluís Godo, Vicenç Torra	On Learning Similarity Relations in Fuzzy Case-Based Reasoning.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF	case–base reasoning, fuzzy case–base reasoning, aggregation, similarity relation
33	Yugyung Lee, James Geller	Efficient Transitive Closure Reasoning in a Combined Class-Part-Containment Hierarchy.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	IS-A hierarchies, Materialized transitive closure, Parallel artificial intelligence, Parallel reasoning, Part hierarchies, Transitive closure reasoning
33	Clemens Ballarin, Lawrence C. Paulson	Reasoning About Coding Theory: The Benefits We Get from Computer Algebra.	AISC	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
33	Ricardo A. Munoz, Chao-Chih Yang	Using Normal Deduction Graphs in Default Reasoning.	ISMIS	1991	DBLP DOI BibTeX RDF	normal deduction graph, Artificial intelligence, logic programming, inference, first-order logic, commonsense reasoning, default reasoning
33	Yi Zhou 0013, Yan Zhang 0003	Meta Level Reasoning and Default Reasoning.	JELIA	2008	DBLP DOI BibTeX RDF
33	Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler	What Is Approximate Reasoning?.	RR	2008	DBLP DOI BibTeX RDF
33	Silvio Ranise	Combining Generic and Domain Specific Reasoning by Using Contexts.	AISC	2002	DBLP DOI BibTeX RDF
32	Kevin D. Ashley, Collin F. Lynch, Niels Pinkwart, Vincent Aleven	Toward Modeling and Teaching Legal Case-Based Adaptation with Expert Examples.	ICCBR	2009	DBLP DOI BibTeX RDF	Case-based adaptation, Legal reasoning, Hypothetical reasoning
32	John Howse	Diagrammatic Reasoning Systems.	ICCS	2008	DBLP DOI BibTeX RDF	information visualization, automated reasoning, software specification, diagrammatic reasoning, Visual formalisms
32	Hajar 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.	ICITA (1)	2005	DBLP DOI BibTeX RDF	case-based reasoning, rule-based reasoning, learning curve, Object-oriented application framework, framework documentation
32	Franz Baader	Description Logics.	Reasoning Web	2009	DBLP DOI BibTeX RDF
32	Riccardo Rosati 0001	Integrating Ontologies and Rules: Semantic and Computational Issues.	Reasoning Web	2006	DBLP DOI BibTeX RDF
32	J. William Murdock, Ashok K. Goel 0001	Meta-case-Based Reasoning: Using Functional Models to Adapt Case-Based Agents.	ICCBR	2001	DBLP DOI BibTeX RDF
32	Rainer Schmidt 0002, Tina Waligora, Olga Vorobieva	Prototypes and Case-Based Reasoning for Medical Applications.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
32	Isabelle Bichindaritz	Memory Structures and Organization in Case-Based Reasoning.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
32	Peter Funk 0001, Ning Xiong 0001	Extracting Knowledge from Sensor Signals for Case-Based Reasoning with Longitudinal Time Series Data.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
32	David C. Wilson, Dympna O'Sullivan	Medical Imagery in Case-Based Reasoning.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
32	Sundari Krishnamurthy	An Examination of Model-Based Reasoning in Science and Medicine in India.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
32	Zhikang Wang	Model-Based Reasoning and Diagnosis in Traditional Chinese Medicine (TCM).	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
32	Ulrike Sattler	Reasoning in Description Logics: Basics, Extensions, and Relatives.	Reasoning Web	2007	DBLP DOI BibTeX RDF
32	Alberto Martelli, Laura Giordano 0001	Reasoning About Web Services in a Temporal Action Logic.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
32	Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits	Reasoning with Rules and Ontologies.	Reasoning Web	2006	DBLP DOI BibTeX RDF
32	Spyros Kotoulas	Semantic and Reasoning Systems for Cities and Citizens.	Reasoning Web	2014	DBLP DOI BibTeX RDF
32	Carlos Pedrinaci, Tim Smithers, Amaia Bernaras	Opportunistic Reasoning for the Semantic Web: Adapting Reasoning to the Environment.	New Forms of Reasoning for the Semantic Web	2007	DBLP BibTeX RDF
32	Max J. Egenhofer, Khaled K. Al-Taha	Reasoning about Gradual Changes of Topological Relationships.	Spatio-Temporal Reasoning	1992	DBLP DOI BibTeX RDF
31	Fidel Aznar Gregori, Mar Pujol López, Ramón Rizo	Obtaining a Bayesian Map for Data Fusion and Failure Detection Under Uncertainty.	IEA/AIE	2005	DBLP DOI BibTeX RDF	Autonomous Agents, Spatial Reasoning, Model-based Reasoning, Reasoning Under Uncertainty
31	Yau-Hwang Kuo, Shiuh-Chu Lee	Software Development Tool for Object-Oriented Fuzzy Knowledge Systems.	ICTAI	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
31	Chulki Lee, Sungchan Park, Dongjoo Lee, Jae-Won Lee, Ok-Ran Jeong, Sang-goo Lee	A comparison of ontology reasoning systems using query sequences.	ICUIMC	2008	DBLP DOI BibTeX RDF	ontology reasoning system, query sequence, benchmark
31	Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke	Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.	ISSTA	2006	DBLP DOI BibTeX RDF	assume-guarantee reasoning
31	Jae Heon Park, Kwang Hyuk Im, Chung-Kwan Shin, Sang-Chan Park	MBNR: Case-Based Reasoning with Local Feature Weighting by Neural Network.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	local feature weighting, neural network, hybrid system, case-based reasoning
31	Aimo 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.	Inf. Syst. Frontiers	2003	DBLP DOI BibTeX RDF	simulation, incomplete information, qualitative reasoning, epistemology, qualitative modeling
31	Janet L. Kolodner	An introduction to case-based reasoning.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	experience, problem-solving, Case-based reasoning
31	Yang Xiang	Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks.	ISMIS	1994	DBLP DOI BibTeX RDF	distributed reasoning, Bayesian networks, distributed artificial intelligence, approximate reasoning, probabilistic reasoning, knowledge representation and integration
31	Yi Zhang, Zongbin Li, Jikong Wang	Hierarchical Reasoning Model of Tolerance Information and Its Using in Reasoning Technique of Geometric Tolerance Types.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	Tolerance information, Reasoning model, Polychromatic sets, Tolerance types
31	Silvie Spreeuwenberg, Rik Gerrits	Business Rules in the Semantic Web, Are There Any or Are They Different?	Reasoning Web	2006	DBLP DOI BibTeX RDF	Rule standards, Reasoning languages, Semantic Web, Specification languages, Business rules, SBVR
31	Inderjeet Mani	Chronoscopes : A Theory of Underspecified Temporal Representations.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF	temporal information extraction, abstraction, temporal reasoning, granularity
31	Hatem Hamza, Yolande Belaïd, Abdel Belaïd	Case-Based Reasoning for Invoice Analysis and Recognition.	ICCBR	2007	DBLP DOI BibTeX RDF	document case, structure case, invoice analysis, invoice interpretation, structure extraction, Case-based reasoning
31	Thomas Roth-Berghofer, Thomas Reinartz	MAMA: A Maintenance Manual for Case-Based Reasoning Systems.	ICCBR	2001	DBLP DOI BibTeX RDF	CBR process, maintenance manual, methodology, process model, maintenance, Case-Based Reasoning
30	Martin C. Rinard	Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.	CADE	2009	DBLP DOI BibTeX RDF
30	Amir Padovitz, Seng Wai Loke, Arkady B. Zaslavsky	Multiple-Agent Perspectives in Reasoning About Situations for Context-Aware Pervasive Computing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
30	Alessandra Agostini, Claudio Bettini, Daniele Riboni	Loosely Coupling Ontological Reasoning with an Efficient Middleware for Context-awareness.	MobiQuitous	2005	DBLP DOI BibTeX RDF