|
|
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. |
ECCBR |
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. |
Stud Logica |
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. |
TIME |
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. |
ICCBR |
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. |
IJCAR |
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. |
ICCBR |
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. |
LPNMR |
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. |
Towards Intelligent Engineering and Information Technology |
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. |
Integrated Network Management |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jingde Cheng |
Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Floris Bex, Trevor J. M. Bench-Capon, Katie Atkinson |
Did he jump or was he pushed? |
Artif. Intell. Law |
2009 |
DBLP DOI BibTeX RDF |
Abductive reasoning, Practical reasoning, Argumentation schemes |
24 | Tom Ridge |
Verifying distributed systems: the operational approach. |
POPL |
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. |
IEA/AIE |
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. |
IBERAMIA |
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. |
Knowl. Inf. Syst. |
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. |
IEA/AIE |
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. |
Artif. Intell. Rev. |
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. |
Australian Conference on Artificial Intelligence |
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. |
EPIA |
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. |
Ann. Math. Artif. Intell. |
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. |
Intelligent Information Processing |
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. |
IEA/AIE |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE ICCI |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Takahiro Koh, Yuichi Goto, Jingde Cheng |
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Zhou Shengming, Liao Yuanxiu |
Sensing Action and Knowledge Reasoning Independent of Designer. |
CSSE (1) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Qingquan Wang, Lili Rong, Kai Yu |
Visual Knowledge Reasoning on Typed Categorical Structure. |
FSKD (4) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Klaus Ostermann |
Reasoning about aspects with common sense. |
AOSD |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Riccardo Rosati 0001 |
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. |
RR |
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. |
IRI |
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. |
RR |
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. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Fei Xie, Guowu Yang, Xiaoyu Song |
Compositional Reasoning for Hardware/Software Co-verification. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Manabu Shimakawa |
Calculus of Interpolated Fuzzy Relation Type Fuzzy Reasoning Method. |
ICICIC (2) |
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. |
UIC |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Qun Song 0002, Nikola K. Kasabov |
NFI: a neuro-fuzzy inference method for transductive reasoning. |
IEEE Trans. Fuzzy Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
Representing Paraconsistent Reasoning via Quantified Propositional Logic. |
Inconsistency Tolerance |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jie Xu |
Reasoning Technique for Extended Fuzzy Description Logics. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Yalin Zheng, Changshui Zhang, Xin Yao 0003 |
Type-I Topological Logic C1I and Approximate Reasoning. |
FSKD (1) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Szilveszter Kovács |
Interpolative Fuzzy Reasoning in Behaviour-Based Control. |
Fuzzy Days |
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. |
ER (Workshops) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Ofer Arieli, Marc Denecker |
Modeling Paraconsistent Reasoning by Classical Logic. |
FoIKS |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Thom W. Frühwirth, Slim Abdennadher |
Tutorial: Reasoning with, about and for Constraint Handling Rules. |
FroCoS |
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. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Karl Christoph Klauer |
Visuelle und räumliche Interferenzen beim Schlußfolgern / Visual and Spatial Interference in Deductive Reasoning. |
Kognitionswissenschaft |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Claudio Delrieux |
Nonmonotonic Reasoning under Uncertain Evidence. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski |
Infinitary Default Logic for Specification of Nonmonotonic Reasoning. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
infinitary default logic, representability, extensions, default logic |
24 | Ilkka Niemelä |
Towards Automatic Autoepistemic Reasoning. |
JELIA |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Christian Prehofer |
Semantic reasoning about feature composition via multiple aspect-weavings. |
GPCE |
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. |
Artif. Intell. Law |
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. |
Knowl. Inf. Syst. |
2001 |
DBLP DOI BibTeX RDF |
Knowledge representation, Temporal reasoning, Defeasible reasoning |
24 | Silvano Mussi |
Strategic Reasoning Under Trade-Offs Between Action Costs and Advantages. |
IEEE Trans. Knowl. Data Eng. |
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. |
ICTAI |
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. |
J. ACM |
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. |
IEEE Trans. Pattern Anal. Mach. Intell. |
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. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Antonis Bikakis, Grigoris Antoniou |
Local and Distributed Defeasible Reasoning in Multi-Context Systems. |
RuleML |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Xiaowang Zhang, Zuoquan Lin |
Paraconsistent Reasoning with Quasi-classical Semantic in . |
RR |
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. |
ECCBR |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin Aminof, Thomas Ball, Orna Kupferman |
Reasoning About Systems with Transition Fairness. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Isabelle Bichindaritz |
Mémoire: Case Based Reasoning Meets the Semantic Web in Biology and Medicine. |
ECCBR |
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. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Vladimir Ryabov, Seppo Puuronen |
Probabilistic Reasoning about Uncertain Relations between Temporal Points. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
|
24 | David B. Leake, Raja Sooriamurthi |
When Two Case Bases Are Better than One: Exploiting Multiple Case Bases. |
ICCBR |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Riccardo Rosati 0001 |
Towards First-Order Nonmonotonic Reasoning. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Jaap Hage |
Monological Reason-Based Logic: A Low Level Integration of Rule-Based Reasoning and Case-Based Reasoning. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Maarten Marx |
Logical Foundations of XML and XQuery. |
Reasoning Web |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner |
Answer Set Programming: A Primer. |
Reasoning Web |
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. |
Case-Based Reasoning on Images and Signals |
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. |
Case-Based Reasoning on Images and Signals |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Michael M. Richter |
Similarity. |
Case-Based Reasoning on Images and Signals |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Riccardo Viale, Andrea Pozzali |
Cognitive Aspects of Tacit Knowledge and Cultural Diversity. |
Model-Based Reasoning in Science, Technology, and Medicine |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Lorenzo Magnani |
Animal Abduction. |
Model-Based Reasoning in Science, Technology, and Medicine |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Walter Alexandre Carnielli |
Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. |
Model-Based Reasoning in Science, Technology, and Medicine |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Claudio Pizzi |
Abductive Inference and Iterated Conditionals. |
Model-Based Reasoning in Science, Technology, and Medicine |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Wolfgang Wahlster, Alexander Kröner, Dominik Heckmann |
SharedLife: Towards Selective Sharing of Augmented Personal Memories. |
Reasoning, Action and Interaction in AI Theories and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
23 | James Pustejovsky, Jessica Littman, Roser Saurí |
Arguments in TimeML: Events and Entities. |
Annotating, Extracting and Reasoning about Time and Events |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Mario Lenz, Eric Auriol, Michel Manago |
Diagnosis and Decision Support. |
Case-Based Reasoning Technology |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Gerd Kamp, Steffen Lange, Christoph Globig |
Related Areas. |
Case-Based Reasoning Technology |
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. |
ICCBR |
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. |
ICCBR |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Colleen M. Seifert |
Cased-Based Reasoning by Human Experts. |
ICCBR |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Solveig Bjørnestad |
Analogical Reasoning for Reuse of Object-Oriented Specifications. |
ICCBR |
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. |
ICCBR |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Ioannis Iglezakis |
The Conflict Graph for Maintaining Case-Based Reasoning Systems. |
ICCBR |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Conor Hayes, Padraig Cunningham, Barry Smyth |
A Case-Based Reasoning View of Automated Collaborative Filtering. |
ICCBR |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Josep Lluís Arcos |
T-Air: A Case-Based Reasoning System for Designing Chemical Absorption Plants. |
ICCBR |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Kristian J. Hammond |
Reasoning as Search: Supporting Reasoning with Distributed Memory. |
ICCBR |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Joeri Engelfriet, Jan Treur |
A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. |
ECSQARU-FAPR |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Maurice A. Finocchiaro |
Reasoning About Reasoning. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz |
Principles and Clusters in Human Syllogistic Reasoning. |
Bridging@CogSci |
2017 |
DBLP BibTeX RDF |
|
23 | Ana-Maria Olteteanu |
Towards Cognitive Social Machines for Bridging the Cognitive-Computational Gap in Creativity and Creative Reasoning. |
Bridging@CogSci |
2017 |
DBLP BibTeX RDF |
|
23 | Ilir Kola, Marco Ragni |
Predicting Responses of Individual Reasoners in Syllogistic Reasoning by using Collaborative Filtering. |
Bridging@CogSci |
2017 |
DBLP BibTeX RDF |
|
23 | William T. Niu, Judy Kay |
Location Conflict Resolution with an Ontology. |
Pervasive |
2008 |
DBLP DOI BibTeX RDF |
location conflict resolution, ontological algorithms, Ontological reasoning |
23 | Corina S. Pasareanu, Dimitra Giannakopoulou |
Towards a Compositional SPIN. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
model checking, learning, Assume-guarantee reasoning |
23 | Rajeev Alur, Radu Grosu |
Modular refinement of hierarchic reactive machines. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines |
23 | George Antoniou |
Relating Defeasible Logic to Extended Logic Programs. |
SETN |
2002 |
DBLP DOI BibTeX RDF |
knowledge representation, logic programming, nonmonotonic reasoning |
23 | Yusuf Pisan |
Extending requirement specifications using analogy. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
specification-reuse, analogical reasoning |
22 | H. Joe Steinhauer |
Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions. |
KI |
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. |
IEEE Trans. Knowl. Data Eng. |
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][ >>] |
|