|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #1 - #100 of 44759 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|