|
|
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 |
25 | David McSherry, Sa'adah Hassan, David W. Bustard |
Conversational Case-Based Reasoning in Self-healing and Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCBR ![In: Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings, pp. 340-354, 2008, Springer, 978-3-540-85501-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Autonomic computing, case-based reasoning, transparency, explanation, self-healing, fault management, environment awareness |
25 | Chitta Baral, Tran Hoai Nam |
Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 79(1), pp. 33-46, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
triggered evolutions, probabilistic triggers, triggers, linear temporal logic, reasoning about actions, randomized strategies |
25 | Maroua Bouzid |
On-line transportation Scheduling using Spatio-Temporal Reasoning. ![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. 17-25, 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 IA, Temporal aspects of agent-based system |
25 | Farida Zehraoui, Rushed Kanawati, Sylvie Salotti |
Case Base Maintenance for Improving Prediction Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings, pp. 703-717, 2003, Springer, 3-540-40433-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Case base maintenance, Large data bases, Prediction, Case based reasoning |
25 | Andrea Formisano 0001, Eugenio G. Omodeo, Marco Temperini |
Instructing Equational Set-Reasoning with Otter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings, pp. 152-167, 2001, Springer, 3-540-42254-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Set reasoning, map algebra, first-order theorem proving |
25 | Christiane Gresse von Wangenheim, Andre Bortolon, Aldo von Wangenheim |
A Hybrid Approach for the Management of FAQ Documents in Latin Languages. ![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. 204-218, 2001, Springer, 3-540-42358-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Knowledge Management, Natural Language Processing, Case-based Reasoning, Text Retrieval |
25 | Georg Gottlob, Francesco Scarcello, Martha Sideri |
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 1-18, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription |
24 | Mirko Malekovic, Mirko Cubrilo, Kornelije Rabuzin |
Logical Consequences in Partial Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Towards Intelligent Engineering and Information Technology ![In: Towards Intelligent Engineering and Information Technology, pp. 377-388, 2009, Springer, 978-3-642-03736-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
partial knowledge bases, dependencies, completeness, soundness, inference rules, formal systems, logical consequences |
24 | Yongning Tang, Ehab S. Al-Shaer, Raouf Boutaba |
Active integrated fault localization in communication networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integrated Network Management ![In: Integrated Network Management, IM 2005. 9th IFIP/IEEE International Symposium on Integrated Network Management, 15-19 May 2005, Nice, France, pp. 543-556, 2005, IEEE. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jingde Cheng |
Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 270-274, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Floris Bex, Trevor J. M. Bench-Capon, Katie Atkinson |
Did he jump or was he pushed? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 17(2), pp. 79-99, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Abductive reasoning, Practical reasoning, Argumentation schemes |
24 | Tom Ridge |
Verifying distributed systems: the operational approach. ![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. 429-440, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning |
24 | Harald Brandl, Franz Wotawa |
Test Case Generation from QR Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008, Wroclaw, Poland, June 18-20, 2008, Proceedings, pp. 235-244, 2008, Springer, 978-3-540-69045-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Embedded Systems, Model-based Testing, Qualitative Reasoning, Model-based Reasoning |
24 | Esmeralda Ramos, Haydemar Núñez, Roberto Casañas |
A Fuzzy Hybrid Intelligent System for Human Semen Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings, pp. 422-431, 2008, Springer, 978-3-540-88308-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
human semen analysis, Case based reasoning, rule based reasoning, hybrid intelligent systems, fuzzy similarity measure |
24 | Ivan López-Arévalo, René Bañares-Alcántara, Arantza Aldea, A. Rodríguez-Martínez |
A hierarchical approach for the redesign of chemical processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 12(2), pp. 169-201, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Design and redesign of processes, Case-based reasoning, Model-based reasoning |
24 | Georgios K. Giannikis, Aspassia Daskalopulu |
The Representation of e-Contracts as Default Theories. ![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. 963-973, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription |
24 | Sa'adah Hassan, David McSherry, David W. Bustard |
Autonomic self healing and recovery informed by environment knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 26(1-2), pp. 89-101, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fault diagnosis, Autonomic computing, Case based reasoning, Self healing, Fault management, Rule based reasoning |
24 | Maurice Pagnucco |
Knowledge Compilation for Belief Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 90-99, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
belief revision and update, common-sense reasoning, knowledge representation and reasoning |
24 | Wojciech Jamroga, Wiebe van der Hoek, Michael J. Wooldridge |
Intentions and Strategies in Game-Like Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, pp. 512-523, 2005, Springer, 3-540-30737-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Multi-agent systems, common sense reasoning, strategic reasoning |
24 | Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano 0001 |
Programming Rational Agents in a Modal Action Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 41(2-4), pp. 207-257, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
logic-based agents, modal and multimodal logic, reasoning with incomplete knowledge, logic programming, reasoning about actions |
24 | Pål Skalle, Agnar Aamodt |
Knowledge-Based Decision Support in Oil Well Drilling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China, pp. 441-455, 2004, Springer, 0-387-23151-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Petroleum Engineering, Ontologies, Prediction, Case-Based Reasoning, Knowledge Engineering, Model-Based Reasoning |
24 | Giovani Pieri, Michel R. Klein, Mario Milanese |
A Knowledge Based System for the Maintenance of Chemical Plants and Its Implementation Using OPTRANS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 777-790, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
chemical plant construction & maintenance, coupling case-base and deductive reasoning, expert-system, case-base reasoning, knowledge based DSS |
24 | Dan I. Moldovan, Chung-I Wu |
A Hierarchical Knowledge Based System for Airplane Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(12), pp. 1829-1834, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
hierarchical knowledge based system, airplane classification, reasoning process, RuBICS, Rule-Based Image Classification System, computer vision, computer vision, complexity, knowledge based systems, knowledge engineering, aerospace computing, aircraft, hierarchical reasoning |
24 | Ning Zhong 0001 |
A unified study on human and Web granular reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China, pp. 3-4, 2009, IEEE Computer Society, 978-1-4244-4642-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Takahiro Koh, Yuichi Goto, Jingde Cheng |
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II, pp. 499-507, 2008, Springer, 978-3-540-85564-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Zhou Shengming, Liao Yuanxiu |
Sensing Action and Knowledge Reasoning Independent of Designer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (1) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China, pp. 281-286, 2008, IEEE Computer Society, 978-0-7695-3336-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Qingquan Wang, Lili Rong, Kai Yu |
Visual Knowledge Reasoning on Typed Categorical Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 4, pp. 684-688, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Klaus Ostermann |
Reasoning about aspects with common sense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, Brussels, Belgium, March 31 - April 4, 2008, pp. 48-59, 2008, ACM, 978-1-60558-044-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Riccardo Rosati 0001 |
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. ![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. 13-27, 2008, Springer, 978-3-540-88736-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Jirapond Tadrat, Veera Boonjing, Puntip Pattaraintakorn |
A Framework for using Rough Sets and Formal Concept Analysis in Case Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2007, 13-15 August 2007, Las Vegas, Nevada, USA, pp. 227-232, 2007, IEEE Systems, Man, and Cybernetics Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Philip David Smart, Alia I. Abdelmoty, Baher A. El-Geresy, Christopher B. Jones |
A Framework for Combining Rules and Geo-ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings, pp. 133-147, 2007, Springer, 978-3-540-72981-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jingde Cheng, Junichi Miura |
Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria, pp. 601-608, 2006, IEEE Computer Society, 0-7695-2567-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Fei Xie, Guowu Yang, Xiaoyu Song |
Compositional Reasoning for Hardware/Software Co-verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 154-169, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Manabu Shimakawa |
Calculus of Interpolated Fuzzy Relation Type Fuzzy Reasoning Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (2) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 325-328, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Naoki Matsushita, Takashi Yoshino 0001, Takashi Hattori, Kaoru Hiramatsu, Takeshi Okadome |
Proposal of Visualization of Reasoning Processes in Sensor Network Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 576-585, 2006, Springer, 3-540-38091-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Qun Song 0002, Nikola K. Kasabov |
NFI: a neuro-fuzzy inference method for transductive reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 13(6), pp. 799-808, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
Representing Paraconsistent Reasoning via Quantified Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inconsistency Tolerance ![In: Inconsistency Tolerance [result from a Dagstuhl seminar], pp. 84-118, 2005, Springer, 3-540-24260-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jie Xu |
Reasoning Technique for Extended Fuzzy Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 665-666, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Yalin Zheng, Changshui Zhang, Xin Yao 0003 |
Type-I Topological Logic C1I and Approximate Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fuzzy Systems and Knowledge Discovery, Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I, pp. 253-262, 2005, Springer, 3-540-28312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Szilveszter Kovács |
Interpolative Fuzzy Reasoning in Behaviour-Based Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference 8th Fuzzy Days, Dortmund, Germany, Sept. 29 - Oct. 01, 2004, pp. 159-170, 2004, Springer, 978-3-540-22807-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jingde Cheng |
Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS, COMWIM, ECDM, CoMoA, DGOV, and ECOMO, Shanghai, China, November 8-12, 2004, Proceedings, pp. 470, 2004, Springer, 3-540-23722-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Ofer Arieli, Marc Denecker |
Modeling Paraconsistent Reasoning by Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings, pp. 1-14, 2002, Springer, 3-540-43220-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Thom W. Frühwirth, Slim Abdennadher |
Tutorial: Reasoning with, about and for Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings, pp. 192, 2002, Springer, 3-540-43381-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler |
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 465-479, 2001, Springer, 3-540-41865-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Karl Christoph Klauer |
Visuelle und räumliche Interferenzen beim Schlußfolgern / Visual and Spatial Interference in Deductive Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kognitionswissenschaft ![In: Kognitionswissenschaft 7(1), pp. 11-18, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Claudio Delrieux |
Nonmonotonic Reasoning under Uncertain Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings, pp. 195-208, 1998, Springer, 3-540-64993-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski |
Infinitary Default Logic for Specification of Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings, pp. 224-236, 1996, Springer, 3-540-61630-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
infinitary default logic, representability, extensions, default logic |
24 | Ilkka Niemelä |
Towards Automatic Autoepistemic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 428-443, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Christian Prehofer |
Semantic reasoning about feature composition via multiple aspect-weavings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 237-242, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
feature composition, semantic reasoning and refinement, aspect-oriented programming, feature interaction, feature-oriented programming, modular reasoning, aspect weaving |
24 | Alison Chorley, Trevor J. M. Bench-Capon |
An empirical investigation of reasoning with legal cases through theory construction and application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 13(3-4), pp. 323-371, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
factors and dimensions, theory construction, Case Based Reasoning, legal reasoning, legal knowledge based systems |
24 | Juan Carlos Augusto, Guillermo Ricardo Simari |
Temporal Defeasible Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 3(3), pp. 287-318, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Knowledge representation, Temporal reasoning, Defeasible reasoning |
24 | Silvano Mussi |
Strategic Reasoning Under Trade-Offs Between Action Costs and Advantages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 9(6), pp. 923-940, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
strategic knowledge, heuristic reasoning, expert systems, trade-off, Strategic reasoning |
24 | Keith Vanderveen, C. V. Ramamoorthy |
Anytime Reasoning in First-Order Logic. ![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. 142-148, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
anytime reasoning, best-effort answers, bounded reasoning resources, S/sub 1/ approximation, S/sub 3/ approximation, most likely solution, first-order logic, formal logic, theorem provers, algorithm performance |
24 | Bernhard Nebel, Hans-Jürgen Bürckert |
Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(1), pp. 43-66, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
constraint satisfaction, temporal reasoning, qualitative reasoning, interval algebra |
24 | Jan H. Vandenbrande, Aristides A. G. Requicha |
Spatial Reasoning for the Automatic Recognition of Machinable Features in Solid Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(12), pp. 1269-1285, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
automatic feature recognition, machinable features, volumetric features, generate-and-test strategy, OPS-5 production rules, pattern recognition, computational geometry, computational geometry, planning, planning (artificial intelligence), solid models, solid modelling, manufacturability, spatial reasoning, spatial reasoning, CAD/CAM, blackboard, machining |
24 | Thomas Eiter, Magdalena Ortiz 0001, Mantas Simkus |
Reasoning Using Knots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 377-390, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Antonis Bikakis, Grigoris Antoniou |
Local and Distributed Defeasible Reasoning in Multi-Context Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings, pp. 135-149, 2008, Springer, 978-3-540-88807-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Xiaowang Zhang, Zuoquan Lin |
Paraconsistent Reasoning with Quasi-classical Semantic in . ![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. 222-229, 2008, Springer, 978-3-540-88736-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ralph Bergmann, Babak Mougouie |
Finding Similar Deductive Consequences - A New Search-Based Framework for Unified Reasoning from Cases and General Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCBR ![In: Advances in Case-Based Reasoning, 8th European Conference, ECCBR 2006, Fethiye, Turkey, September 4-7, 2006, Proceedings, pp. 271-285, 2006, Springer, 3-540-36843-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin Aminof, Thomas Ball, Orna Kupferman |
Reasoning About Systems with Transition Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings, pp. 194-208, 2004, Springer, 3-540-25236-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Isabelle Bichindaritz |
Mémoire: Case Based Reasoning Meets the Semantic Web in Biology and Medicine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCBR ![In: Advances in Case-Based Reasoning, 7th European Conference, ECCBR 2004, Madrid, Spain, August 30 - September 2, 2004, Proceedings, pp. 47-61, 2004, Springer, 3-540-22882-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo |
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 290-302, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Vladimir Ryabov, Seppo Puuronen |
Probabilistic Reasoning about Uncertain Relations between Temporal Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001, pp. 35-40, 2001, IEEE Computer Society, 0-7695-1107-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | David B. Leake, Raja Sooriamurthi |
When Two Case Bases Are Better than One: Exploiting Multiple Case Bases. ![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. 321-335, 2001, Springer, 3-540-42358-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Riccardo Rosati 0001 |
Towards First-Order Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 332-346, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Jaap Hage |
Monological Reason-Based Logic: A Low Level Integration of Rule-Based Reasoning and Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Fourth International Conference on Artificial intelligence and Law, ICAIL '93, Amsterdam, The Netherlands, June 15-18, 1993, pp. 30-39, 1993, ACM, 0-89791-606-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Maarten Marx |
Logical Foundations of XML and XQuery. ![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. 111-157, 2009, Springer, 978-3-642-03753-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner |
Answer Set Programming: A Primer. ![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. 40-110, 2009, Springer, 978-3-642-03753-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Juan M. Corchado, Jim Aiken, Javier Bajo |
A CBR Agent for Monitoring the Carbon Dioxide Exchange Rate from Satellite Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning on Images and Signals ![In: Case-Based Reasoning on Images and Signals, pp. 213-246, 2008, Springer, 978-3-540-73178-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Linda G. Shapiro, Indriyati Atmosukarto, Hansang Cho, H. Jill Lin, Salvador Ruiz-Correa, Jenny Yuen |
Similarity-Based Retrieval for Biomedical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning on Images and Signals ![In: Case-Based Reasoning on Images and Signals, pp. 355-387, 2008, Springer, 978-3-540-73178-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Michael M. Richter |
Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning on Images and Signals ![In: Case-Based Reasoning on Images and Signals, pp. 25-90, 2008, Springer, 978-3-540-73178-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Riccardo Viale, Andrea Pozzali |
Cognitive Aspects of Tacit Knowledge and Cultural Diversity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 229-244, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Lorenzo Magnani |
Animal Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 3-38, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Walter Alexandre Carnielli |
Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 349-364, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Claudio Pizzi |
Abductive Inference and Iterated Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 365-381, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Wolfgang Wahlster, Alexander Kröner, Dominik Heckmann |
SharedLife: Towards Selective Sharing of Augmented Personal Memories. ![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. 327-342, 2006, Springer, 3-540-37901-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | James Pustejovsky, Jessica Littman, Roser Saurí |
Arguments in TimeML: Events and Entities. ![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. 107-126, 2005, Springer, 978-3-540-75988-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Mario Lenz, Eric Auriol, Michel Manago |
Diagnosis and Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning Technology ![In: Case-Based Reasoning Technology, From Foundations to Applications, pp. 51-90, 1998, Springer, 3-540-64572-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Gerd Kamp, Steffen Lange, Christoph Globig |
Related Areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Case-Based Reasoning Technology ![In: Case-Based Reasoning Technology, From Foundations to Applications, pp. 327-351, 1998, Springer, 3-540-64572-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Hua Li 0002, Héctor Muñoz-Avila, Diane Bramsen, Chad Hogg, Rafael Alonso |
Spatial Event Prediction by Combining Value Function Approximation and Case-Based Reasoning. ![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. 465-478, 2009, Springer, 978-3-642-02997-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
spatial prediction, case-based prediction, function value approximation |
23 | Maria Frucci, Petra Perner, Gabriella Sanniti di Baja |
Watershed Segmentation Via Case-Based Reasoning. ![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. 419-432, 2007, Springer, 978-3-540-74138-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Colleen M. Seifert |
Cased-Based Reasoning by Human Experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning, Research and Development, 6th International Conference, on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings, pp. 4, 2005, Springer, 3-540-28174-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Solveig Bjørnestad |
Analogical Reasoning for Reuse of Object-Oriented Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings, pp. 50-64, 2003, Springer, 3-540-40433-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Michael Redmond, Cynthia Blackburn Line |
Empirical Analysis of Case-Based Reasoning and Other Prediction Methods in a Social Science Domain: Repeat Criminal Victimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development, 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings, pp. 452-464, 2003, Springer, 3-540-40433-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Ioannis Iglezakis |
The Conflict Graph for Maintaining 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. 263-275, 2001, Springer, 3-540-42358-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Conor Hayes, Padraig Cunningham, Barry Smyth |
A Case-Based Reasoning View of Automated Collaborative Filtering. ![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. 234-248, 2001, Springer, 3-540-42358-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Josep Lluís Arcos |
T-Air: A Case-Based Reasoning System for Designing Chemical Absorption Plants. ![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. 576-588, 2001, Springer, 3-540-42358-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Kristian J. Hammond |
Reasoning as Search: Supporting Reasoning with Distributed Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBR ![In: Case-Based Reasoning Research and Development - 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings, pp. 1-5, 2011, Springer, 978-3-642-23290-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Joeri Engelfriet, Jan Treur |
A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU-FAPR ![In: Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings, pp. 252-266, 1997, Springer, 3-540-63095-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Maurice A. Finocchiaro |
Reasoning About Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAPR ![In: Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings, pp. 167-177, 1996, Springer, 3-540-61313-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz |
Principles and Clusters in Human Syllogistic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017., pp. 69-83, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Ana-Maria Olteteanu |
Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017., pp. 54-68, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Ilir Kola, Marco Ragni |
Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bridging@CogSci ![In: Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017., pp. 1, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | William T. Niu, Judy Kay |
Location Conflict Resolution with an Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pervasive ![In: Pervasive Computing, 6th International Conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008, Proceedings, pp. 162-179, 2008, Springer, 978-3-540-79575-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
location conflict resolution, ontological algorithms, Ontological reasoning |
23 | Corina S. Pasareanu, Dimitra Giannakopoulou |
Towards a Compositional SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 234-251, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model checking, learning, Assume-guarantee reasoning |
23 | Rajeev Alur, Radu Grosu |
Modular refinement of hierarchic reactive machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(2), pp. 339-369, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines |
23 | George Antoniou |
Relating Defeasible Logic to Extended Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Second Hellenic Conference on AI, SETN 2002. Thessaloniki, Greece, April 11-12, 2002, Proceedings, pp. 54-64, 2002, Springer, 3-540-43472-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
knowledge representation, logic programming, nonmonotonic reasoning |
23 | Yusuf Pisan |
Extending requirement specifications using analogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 70-76, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
specification-reuse, analogical reasoning |
22 | H. Joe Steinhauer |
Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings, pp. 348-355, 2008, Springer, 978-3-540-85844-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Spatial Reasoning, Qualitative Reasoning, Diagrammatic Reasoning |
22 | Howard W. Beck, Tarek M. Anwar, Shamkant B. Navathe |
A Conceptual Clustering Algorithm for Database Schema Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(3), pp. 396-411, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
conceptual clustering algorithm, database schema design, complex clusters, class descriptions, default values, family resemblance, class cohesion, subsumption function, realization function, exception condition, schema modification, schema generation, view creation, machine learning, learning (artificial intelligence), data structures, query processing, query processing, database management systems, exception handling, exception handling, case-based reasoning, case-based reasoning, database theory, categorization, operating systems (computers), INTERSECT, schema integration, analogical reasoning, explanation-based learning |
Displaying result #401 - #500 of 44759 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|