|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(3), pp. 600-614, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
70 | Zhaohao Sun, Gavin R. Finnie |
A Unified 2D Representation of Fuzzy Reasoning, CBR, and Experience Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part I, pp. 1115-1123, 2006, Springer, 3-540-46535-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 1(1), pp. 55-67, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (5) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V, pp. 338-345, 2006, Springer, 3-540-34079-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part I, pp. 1085-1091, 2004, Springer, 3-540-23318-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings, pp. 190-200, 2006, Springer, 3-540-40930-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICA ![In: Advances in Computation and Intelligence, Third International Symposium, ISICA 2008, Wuhan, China, December 19-21, 2008 Proceedings, pp. 637-648, 2008, Springer, 978-3-540-92136-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 162-178, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
49 | Katie Atkinson, Trevor J. M. Bench-Capon |
Legal Case-based Reasoning as Practical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 13(1), pp. 93-131, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings, pp. 1-2, 2002, Springer, 3-540-43561-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
46 | Zili Zhang 0001, Chengqi Zhang |
Reasoning with Multimedia Information Using Symbolic Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings, pp. 643-654, 2001, Springer, 3-540-42960-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 3230-3234, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Xinyuan Liang |
Reasoning Algorithm of Multi-Value Fuzzy Causality Diagram Based on Unitizing Coefficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 101-104, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSCTC ![In: Rough Sets and Current Trends in Computing, 5th International Conference, RSCTC 2006, Kobe, Japan, November 6-8, 2006, Proceedings, pp. 165-173, 2006, Springer, 3-540-47693-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010, ACM, 978-1-60558-990-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(5), pp. 1285-1301, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Jae Sik Lee, Jin Chun Lee |
Music for My Mood: A Music Recommendation System Based on Context Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSSC ![In: Smart Sensing and Context, First European Conference, EuroSSC 2006, Enschede, Netherlands, October 25-27, 2006, Proceedings, pp. 190-203, 2006, Springer, 3-540-47842-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 663-675, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Pascal Nicolas, Frédéric Saubion, Igor Stéphan |
Combining heuristics for default logic reasoning systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 393-400, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings, pp. 745-755, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 45(1-2), pp. 35-81, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(5), pp. 697-725, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 50-55, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The 12th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 8-12, 2009, Barcelona, Spain, pp. 1-10, 2009, ACM, 978-1-60558-597-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
legal ontologies, analogical reasoning, hypothetical reasoning |
39 | Rohani Binti Abu Bakar, Junzo Watada |
Evidential Reasoning Based on DNA Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based and Intelligent Information and Engineering Systems, 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part II, pp. 212-219, 2009, Springer, 978-3-642-04591-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(9), pp. 850-864, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 582-599, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 15th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2000), 25-27 October 2000, Yamanashi, Japan, Proceedings, pp. 69-77, 2000, IEEE Computer Society, 0-7695-0719-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999, Proceedings, pp. 28-41, 1999, Springer, 3-540-66432-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Shuguang Li, Qing Jiang, Chris George |
Combining case-based and model-based reasoning: a formal specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 416-420, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 35(3), pp. 327-338, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 91-102, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 46-58, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Erland Jungert |
The Observer's Point of View: An Extension of Symbolic Projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 179-195, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
38 | David M. Mark |
Counter-Intuitive Geographic "Facts": Clues for Spatial Reasoning at Geographic Scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 305-317, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
37 | Bernhard Heinemann |
A Hybrid Treatment of Evolutionary Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2002: Advances in Artificial Intelligence, Second Mexican International Conference on Artificial Intelligence, Merida, Yucatan, Mexico, April 22-26, 2002, Proceedings, pp. 204-213, 2002, Springer, 3-540-43475-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ontology Management ![In: Ontology Management, Semantic Web, Semantic Web Services, and Business Applications, pp. 89-128, 2008, Springer, 978-0-387-69900-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 171-178, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWC ![In: The Semantic Web, 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings, pp. 91-105, 2008, Springer, 978-3-540-89703-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Didier Dubois, Henri Prade |
Approximate and Commonsense Reasoning: From Theory to Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 9th International Symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996, Proceedings, pp. 19-33, 1996, Springer, 3-540-61286-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(2), pp. 233-245, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 27(1), pp. 21-48, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 67-74, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Knowledge Representation, Qualitative Reasoning, Reasoning Under Uncertainty |
35 | John Woods |
The Concept of Fallacy is Empty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 69-90, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Jean Lieber |
Application of the Revision Theory to Adaptation in Case-Based Reasoning: The Conservative Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 7th International Conference on Case-Based Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13-16, 2007, Proceedings, pp. 239-253, 2007, Springer, 978-3-540-74138-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mechanizing Mathematical Reasoning ![In: Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 204-227, 2005, Springer, 3-540-25051-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Dimitris Papadias, Timos K. Sellis |
Spatial Reasoning Using Symbolic Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 153-161, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 318-327, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
34 | Julio Pacheco, M. Teresa Escrig, Francisco Toledo |
Integrating 3D Orientation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Topics in Artificial Intelligence, 5th Catalonian Conference on AI, CCIA 2002, Castellón, Spain, October 24-25, 2002, Proceedings, pp. 88-100, 2002, Springer, 3-540-00011-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets V, pp. 334-506, 2006, Springer, 3-540-39382-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFIE ![In: Fuzzy Information and Engineering, Proceedings of the Second International Conference of Fuzzy Information and Engineering, ICFIE 2007, May 13-16, 2007, Guangzhou, China, pp. 98-112, 2007, Springer, 978-3-540-71440-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, pp. 147-154, 2003, IEEE Computer Society, 0-7695-1912-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 384-392, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 32-41, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 338-351, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
verification, theorem prover, proof system |
33 | Riccardo Rosati 0001 |
Finite Model Reasoning in DL-Lite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings, pp. 215-229, 2008, Springer, 978-3-540-68233-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Xinyu Feng 0001 |
Local rely-guarantee reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 315-327, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, pp. 417-429, 2008, Springer, 978-3-540-89196-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 154(3), pp. 431-466, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets II, pp. 14-32, 2004, Springer, 3-540-23990-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 4(3), pp. 305-328, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings, pp. 55-66, 1998, Springer, 3-540-64960-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings, pp. 203-212, 1991, Springer, 3-540-54563-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, pp. 403-415, 2008, Springer, 978-3-540-87802-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler |
What Is Approximate Reasoning?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, pp. 150-164, 2008, Springer, 978-3-540-88736-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Silvio Ranise |
Combining Generic and Domain Specific Reasoning by Using Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 305-318, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009, Proceedings, pp. 45-59, 2009, Springer, 978-3-642-02997-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Case-based adaptation, Legal reasoning, Hypothetical reasoning |
32 | John Howse |
Diagrammatic Reasoning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Visualization and Reasoning, 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 7-11, 2008, Proceedings, pp. 1-20, 2008, Springer, 978-3-540-70595-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITA (1) ![In: Third International Conference on Information Technology and Applications (ICITA 2005), 4-7 July 2005, Sydney, Australia, pp. 52-57, 2005, IEEE Computer Society, 0-7695-2316-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
case-based reasoning, rule-based reasoning, learning curve, Object-oriented application framework, framework documentation |
32 | Franz Baader |
Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures, pp. 1-39, 2009, Springer, 978-3-642-03753-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Riccardo Rosati 0001 |
Integrating Ontologies and Rules: Semantic and Computational Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures, pp. 128-151, 2006, Springer, 3-540-38409-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 - August 2, 2001, Proceedings, pp. 407-421, 2001, Springer, 3-540-42358-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Rainer Schmidt 0002, Tina Waligora, Olga Vorobieva |
Prototypes and Case-Based Reasoning for Medical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning on Images and Signals ![In: Case-Based Reasoning on Images and Signals, pp. 285-317, 2008, Springer, 978-3-540-73178-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Isabelle Bichindaritz |
Memory Structures and Organization in Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning on Images and Signals ![In: Case-Based Reasoning on Images and Signals, pp. 175-194, 2008, Springer, 978-3-540-73178-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning on Images and Signals ![In: Case-Based Reasoning on Images and Signals, pp. 247-284, 2008, Springer, 978-3-540-73178-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | David C. Wilson, Dympna O'Sullivan |
Medical Imagery in Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning on Images and Signals ![In: Case-Based Reasoning on Images and Signals, pp. 389-418, 2008, Springer, 978-3-540-73178-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Sundari Krishnamurthy |
An Examination of Model-Based Reasoning in Science and Medicine in India. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 293-314, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Zhikang Wang |
Model-Based Reasoning and Diagnosis in Traditional Chinese Medicine (TCM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 261-272, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Ulrike Sattler |
Reasoning in Description Logics: Basics, Extensions, and Relatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web, Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures, pp. 154-182, 2007, Springer, 978-3-540-74613-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Alberto Martelli, Laura Giordano 0001 |
Reasoning About Web Services in a Temporal Action Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning, Action and Interaction in AI Theories and Systems ![In: Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello, pp. 229-246, 2006, Springer, 3-540-37901-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits |
Reasoning with Rules and Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures, pp. 93-127, 2006, Springer, 3-540-38409-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Spyros Kotoulas |
Semantic and Reasoning Systems for Cities and Citizens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Reasoning on the Web in the Big Data Era - 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings, pp. 369-387, 2014, Springer, 978-3-319-10586-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
32 | Carlos Pedrinaci, Tim Smithers, Amaia Bernaras |
Opportunistic Reasoning for the Semantic Web: Adapting Reasoning to the Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Forms of Reasoning for the Semantic Web ![In: Proceedings of the First International Workshop Workshop `New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic`, co-located with ISWC 2007 and ASWC 2007, Busan, Korea, November 11th, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
32 | Max J. Egenhofer, Khaled K. Al-Taha |
Reasoning about Gradual Changes of Topological Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![In: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21-23, 1992, Proceedings, pp. 196-219, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005, Proceedings, pp. 342-352, 2005, Springer, 3-540-26551-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 454-461, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 2nd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2008, Suwon, Korea, January 31 - February 01, 2008, pp. 543-546, 2008, ACM, 978-1-59593-993-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 97-108, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 21(3), pp. 265-276, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 5(4), pp. 379-399, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
simulation, incomplete information, qualitative reasoning, epistemology, qualitative modeling |
31 | Janet L. Kolodner |
An introduction to case-based reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 6(1), pp. 3-34, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
experience, problem-solving, Case-based reasoning |
31 | Yang Xiang |
Distributed Multi-Agent Probabilistic Reasoning With Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 285-294, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part II, pp. 858-868, 2008, Springer, 978-3-540-88516-0. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures, pp. 152-163, 2006, Springer, 3-540-38409-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annotating, Extracting and Reasoning about Time and Events ![In: Annotating, Extracting and Reasoning about Time and Events, International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers, pp. 127-139, 2005, Springer, 978-3-540-75988-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 7th International Conference on Case-Based Reasoning, ICCBR 2007, Belfast, Northern Ireland, UK, August 13-16, 2007, Proceedings, pp. 404-418, 2007, Springer, 978-3-540-74138-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30 - August 2, 2001, Proceedings, pp. 452-466, 2001, Springer, 3-540-42358-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 1-16, 2009, Springer, 978-3-642-02958-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(4), pp. 729-742, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Alessandra Agostini, Claudio Bettini, Daniele Riboni |
Loosely Coupling Ontological Reasoning with an Efficient Middleware for Context-awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: 2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 17-21 July 2005, San Diego, CA, USA, pp. 175-182, 2005, IEEE Computer Society, 0-7695-2375-7. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|