|
|
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 |
26 | François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach |
05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning. |
Principles and Practices of Semantic Web Reasoning |
2005 |
DBLP BibTeX RDF |
|
26 | Sven Bertel |
Show Me How You Act on a Diagram and I'll Tell You What You Think (or: Spatial Structures as Organizing Schemes in Collaborative Human-Computer Reasoning). |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
26 | Mike Stieff |
Visualization and Diagrammatic Reasoning during Genuine Problem Solving in Science. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
26 | Thomas Barkowsky, Christian Freksa, Mary Hegarty, Ric K. Lowe |
Preface: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
26 | B. Chandrasekaran 0001, Unmesh Kurup, Bonny Banerjee |
A Diagrammatic Reasoning Architecture: Design, Implementation and Experiments. |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance |
2005 |
DBLP BibTeX RDF |
|
26 | Jozsef A. Toth, C. Michael Lewis |
The Role of Representation and Working Memory in Diagrammatic Reasoning and Decision Making. |
Diagrammatic Representation and Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Jean-Louis Giavitto, Erika Valencia |
A Topological Framework for Modelling Diagrammatic Reasoning Tasks. |
Diagrammatic Representation and Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Nik Swoboda |
Implementing Euler/Venn Reasoning Systems. |
Diagrammatic Representation and Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Leon Rozenblit, Michael Spivey, Julie Wojslawowicz |
Mechanical Reasoning about Gear-and-belt Diagrams: Do Eye-movements Predict Performance? |
Diagrammatic Representation and Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Dale E. Fish, Robert McCartney |
Using Diagrams to Understand Diagrams: A Case-Based Approach to Diagrammatic Reasoning. |
Diagrammatic Representation and Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini |
Reasoning in Expressive Description Logics. |
Handbook of Automated Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Shang-Ching Chou, Xiao-Shan Gao |
Automated Reasoning in Geometry. |
Handbook of Automated Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jürgen Dix, Ulrich Furbach, Ilkka Niemelä |
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. |
Handbook of Automated Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Anatoli Degtyarev, Andrei Voronkov |
Equality Reasoning in Sequent-Based Calculi. |
Handbook of Automated Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Zhi-Qiang Liu |
Fuzzy Logic Based Neural Network for Case Based Reasoning. |
Soft Computing in Case Based Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Gerry Stahl |
Armchair Mission to Mars: Using Case Based Reasoning and Fuzzy Logic to Simulate a Time Series Model of Astronaut Crews. |
Soft Computing in Case Based Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Julie Main, Tharam S. Dillon, Simon C. K. Shiu |
A Tutorial on Case Based Reasoning. |
Soft Computing in Case Based Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Maria Malek |
Hybrid Approaches for Integrating Neural Networks and Case Based Reasoning: From Loosely Coupled to Tightly Coupled Models. |
Soft Computing in Case Based Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Amílcar Cardoso, Ernesto Costa, Penousal Machado, Francisco C. Pereira, Paulo Gomes |
An Architecture for Hybrid Creative Reasoning. |
Soft Computing in Case Based Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Hans-Dieter Burkhard, Michael M. Richter |
On the Notion of Similarity in Case Based Reasoning and Fuzzy Theory. |
Soft Computing in Case Based Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Frans Voorbraak |
Reasoning with Uncertainty in AI. |
Reasoning with Uncertainty in Robotics |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Robert A. Hummel |
Uncertainty Reasoning in Object Recognition by Image Processing. |
Reasoning with Uncertainty in Robotics |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. |
Reasoning with Uncertainty in Robotics |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Chris J. Price, Ian S. Pegler |
Deciding Parameter Values with Case-Based Reasoning. |
UK Workshop on Case-Based Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Isabelle Bichindaritz |
Incremental Concept Learning and Case-Based Reasoning: For a Co-Operative Approach. |
UK Workshop on Case-Based Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Jeremy Ellman |
An Application of Case Based Reasoning to Object Oriented Database Retrieval. |
UK Workshop on Case-Based Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
26 | P. Maguire, V. Shankararaman, R. Szegfue, L. Morss |
Application of Case-Based Reasoning (CBR) to Software Reuse. |
UK Workshop on Case-Based Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Peter J. Funk, David Stuart Robertson 0001 |
Capturing and Matching Dynamic Behaviour in Case-Based Reasoning. |
UK Workshop on Case-Based Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Ilesh Dattani, Max Bramer |
Case-Based Reasoning: A Technique for "Decision Support Systems" in Residential Valuation and the Construction of Residential Housing. |
UK Workshop on Case-Based Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Ian D. Watson |
An Introduction to Case-Based Reasoning. |
UK Workshop on Case-Based Reasoning |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Laura Martignon, Hermann von Hasseln |
Complexity and Consistency in Probabilistic Reasoning. |
ICLP Workshop: Logic and Reasoning with Neural Networks |
1994 |
DBLP BibTeX RDF |
|
26 | Nam Seog Park, Dave Robertson 0001, Keith Stenning |
Reasoning with Limited Unification in a Connectionist Rule-Based System. |
ICLP Workshop: Logic and Reasoning with Neural Networks |
1994 |
DBLP BibTeX RDF |
|
26 | Douglas J. Howe |
Reasoning About Functional Programs in Nuprl. |
Functional Programming, Concurrency, Simulation and Automated Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Andrew U. Frank, Irene Campari, Ubaldo Formentini (eds.) |
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 |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Antonis C. Kakas |
Default Reasoning via Negation as Failure. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Luca Console, Daniele Theseider Dupré |
Adcuctive Reasoning with Abstraction Axioms. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Ilkka Niemelä, Jussi Rintanen |
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Jürgen Kalinski |
Weak Autoepistemic Reasoning and Well-Founded Semantics. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Karen L. Myers, Kurt Konolige |
Reasoning with Analogical Representations. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Emil Weydert |
Hyperrational Conditionals - Monotonic Reasoning About Nested Default Conditionals. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Gerhard Lakemeyer, Bernhard Nebel |
Foundations of Knowledge Representation and Reasoning. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Albert Z. Guttenberg |
Toward a Behavioral Theory of Regionalization. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Leila De Floriani, Enrico Puppo |
A Hierarchical Triangle-Based Model for Terrain Description. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Ombretta Paladino |
Treatment of Qualitative Geographic Information in Monitoring Environmental Pollution. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Bianca Falcidieno, Caterina Pienovi, Michela Spagnuolo |
Descriptive Modeling and Prescriptive Modeling in Spatial Data Handling. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | A. Barbanente, D. Borri, Floriana Esposito, Pietro Leo, G. Maciocco, F. Selicato |
Automatically Acquiring Knowledge by Digital Maps in Artificial Intelligence Planning Techniques. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Daniel R. Montello |
The Geometry of Environmental Knowledge. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Helen Couclelis |
People Manipulate Objects (but Cultivate Fields): Beyond the Raster-Vector Debate in GIS. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Robbin R. Hough |
Time and Space: An Economic Model. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Richard T. Snodgrass |
Temporal Databases. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Thanasis Hadzilacos, Nectaria Tryfona |
A Model for Expressing topological Integrity Constraints in Geographic Databases. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Reginald G. Golledge |
Do People Understand Spatial Concepts: The Case of First-Order Primitives. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Sabine Timpf, Gary S. Volta, David W. Pollock, Max J. Egenhofer |
A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Keiichi Takeuchi |
The Changing Language of and Persisting Patterns in the Urban Design of Edo/Tokyo. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Peter A. Whigham, Robert I. McKay, J. R. Davis |
Machine Induction of Geospatial Knowledge. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Mikko Lindholm, Tapani Sarjakoski |
User Models and Information Theory in the Design of a Query Interface for GIS. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | A. Stewart Fotheringham, Andrew Curtis |
Encoding Spatial Information: The Evidence for Hierarchical Processing. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Scott M. Freundschuh |
Is there a Relationship Between Spatial Cognition and Environmental Patterns? |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
26 | James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa |
Reasoning in Paraconsistent Logics. |
Automated Reasoning: Essays in Honor of Woody Bledsoe |
1991 |
DBLP BibTeX RDF |
|
26 | Larry Wos |
Automated Reasoning and Bledsoe's Dream for the Field. |
Automated Reasoning: Essays in Honor of Woody Bledsoe |
1991 |
DBLP BibTeX RDF |
|
26 | Michael M. Richter, Stefan Wess |
Similarity, Uncertainty and Case-Based Reasoning in Patdex. |
Automated Reasoning: Essays in Honor of Woody Bledsoe |
1991 |
DBLP BibTeX RDF |
|
26 | Almira Karabeg, M. Naci Akkøk, Karoline Kristensen |
Towards a Language for Talking about Information Visualization Aimed at Presentation on the Web. |
IV |
2004 |
DBLP DOI BibTeX RDF |
Visual Immediacy, Visual Impetus, Visual Impedance, Web Design, Visual Design, Visual Reasoning |
25 | Mozhgan Tavakolifard |
Situation-aware trust management. |
RecSys |
2009 |
DBLP DOI BibTeX RDF |
conditional reasoning, ontology, trust, recommender systems, context, case-based reasoning, semantic similarity, analogical reasoning |
25 | Jürgen Dix, Sarit Kraus, V. S. Subrahmanian |
Heterogeneous temporal probabilistic agents. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
multiagent reasoning, logic programming, uncertainty, temporal reasoning, Probabilistic reasoning |
25 | Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati 0001 |
Reasoning about actions with sensing under qualitative and probabilistic uncertainty. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
qualitative and probabilistic uncertainty, description logics, sensing, Reasoning about actions, imprecise probabilities, action languages |
25 | Miguel Valero, Laura Vadillo, Iván Pau, Ana Peñhalver |
An Intelligent Agents Reasoning Platform to Support Smart Home Telecare. |
IWANN (2) |
2009 |
DBLP DOI BibTeX RDF |
telecare reasoning agents, telecare ontology and rules, Smart home |
25 | Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman |
Injecting rapid feedback and collaborative reasoning in teaching specifications. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
collaborative reasoning, contract programming, formal methods, interface specifications, learning tools |
25 | Iain Wallace, Michael Rovatsos |
Bounded practical social reasoning in the ESB framework. |
AAMAS (2) |
2009 |
DBLP BibTeX RDF |
architectures, methodology, agent-oriented software engineering, BDI, expectations, social reasoning |
25 | Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke |
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
Assume-guarantee reasoning |
25 | Marian Counihan |
'if p then q' ... and all that: Logical Elements in Reasoning and Discourse. |
J. Log. Lang. Inf. |
2008 |
DBLP DOI BibTeX RDF |
Logic, Interpretation, Reasoning, Literacy, Quantifiers |
25 | Krista E. DeLeeuw, Mary Hegarty |
What Diagrams Reveal about Representations in Linear Reasoning, and How They Help. |
Diagrams |
2008 |
DBLP DOI BibTeX RDF |
reasoning, diagrams, individual differences, cognitive ability, mental representations |
25 | Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty |
Local Hoare reasoning about DOM. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
context logic, local hoare reasoning, xml, dom |
25 | Dinh Que Tran, Tuan Nha Hoang |
Agent Reasoning with Semantic Web in Web Blogs. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
web blogs, ontology, Semantic web, multi-agent system, web mining, reasoning, information integration |
25 | Dieter Fensel, Frank van Harmelen |
Unifying Reasoning and Search to Web Scale. |
IEEE Internet Comput. |
2007 |
DBLP DOI BibTeX RDF |
scalability, search, Web, logic, reasoning |
25 | Carmel Domshlak, Thorsten Joachims |
Efficient and non-parametric reasoning over user preferences. |
User Model. User Adapt. Interact. |
2007 |
DBLP DOI BibTeX RDF |
Ordinal utility function, Reasoning over preferences, Support vector machines, Kernels, Preference elicitation |
25 | Alberto Fernández 0001, Salvador García 0001, María José del Jesus, Francisco Herrera |
A Study on the Use of the Fuzzy Reasoning Method Based on the Winning Rule vs. Voting Procedure for Classification with Imbalanced Data Sets. |
IWANN |
2007 |
DBLP DOI BibTeX RDF |
Fuzzy Reasoning Method, Imbalanced Data-sets, Instance Selection, Over-sampling, Fuzzy Rule Based Classification Systems |
25 | Ruliang Xiao, Shengqun Tang |
A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration. |
International Conference on Computational Science (2) |
2007 |
DBLP DOI BibTeX RDF |
categorial context, description logics, ontology integration, default reasoning |
25 | Yaun-Kai Ko, Shyi-Ming Chen |
Fuzzy Interpolative Reasoning Via Cutting and Transformations Techniques. |
IEA/AIE |
2007 |
DBLP DOI BibTeX RDF |
Fuzzy interpolative reasoning, cutting and transformation techniques, increment and ratio transformations, sparse fuzzy rule-based systems |
25 | Jing Luo, Weihong Cui, Zhenguo Niu |
The Study and Application of Object-oriented Hyper-graph Spatio-temporal Reasoning Model. |
3D-GIS |
2006 |
DBLP DOI BibTeX RDF |
Hyper-graph, Spatio-temporal reasoning model, Object-oriented, Spatio-temporal data model |
25 | Rashid Hafeez Khokhar, David A. Bell, Jiwen Guan, Qingxiang Wu |
Risk Assessment of E-Commerce Projects Using Evidential Reasoning. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
Financial Engineering, Software Performance Evaluation, Dempster-Shafer Theory, Evidential Reasoning, E-Commerce Application |
25 | Soo Jin Jun, Sun-Gwan Han, Hae-Young Kim |
Web Services-Based Digital Library as a CSCL Space Using Case-Based Reasoning. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
web services, digital library, recommendation, Case-based reasoning, computer supported collaborative learning |
25 | Zaiyue Zhang, Yuefei Sui, Cungen Cao 0001 |
Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
Propositional modal logic, Educed set, Fuzzy reasoning, Formal system |
25 | Ivo Düntsch |
Relation Algebras and their Application in Temporal and Spatial Reasoning. |
Artif. Intell. Rev. |
2005 |
DBLP DOI BibTeX RDF |
qualitative temporal and spatial reasoning, constraint satisfaction, relation algebra |
25 | Tetsuya Murai, Masayuki Sanada, Yasuo Kudo, Mineichi Kudo |
A Note on Ziarko's Variable Precision Rough Set Model and Nonmonotonic Reasoning. |
Rough Sets and Current Trends in Computing |
2004 |
DBLP DOI BibTeX RDF |
Granular reasoning, Variable precision rough set model, Nonmonotonicity |
25 | Beata Jankowska |
How to Speed Up Reasoning in a System with Uncertainty? |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
inexact reasoning, medical prognosticating, expert systems |
25 | Thomas O. Binford, Tod S. Levitt |
Evidential Reasoning for Object Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2003 |
DBLP DOI BibTeX RDF |
utility-based control, object recognition, Bayesian networks, Bayesian inference, Evidential reasoning, computer vision systems |
25 | Norbert Gronau, Frank Laskowski |
Using Case-Based Reasoning to Improve Information Retrieval in Knowledge Management Systems. |
AWIC |
2003 |
DBLP DOI BibTeX RDF |
information retrieval, software architecture, knowledge management, case-based reasoning |
25 | Tetsuya Murai, Germano Resconi, Michinori Nakata, Yoshiharu Sato |
Granular Reasoning Using Zooming In & Out. |
RSFDGrC |
2003 |
DBLP DOI BibTeX RDF |
Granular reasoning, zooming in & out, granular computing, filtration |
25 | Frédéric Koriche |
A Logic for Approximate First-Order Reasoning. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
resource-bounded algorithms, first-order logic, approximate reasoning, multi-modal logics |
25 | Lech Polkowski |
Spatial Reasoning via Rough Sets. |
Rough Sets and Current Trends in Computing |
2000 |
DBLP DOI BibTeX RDF |
rough sets, connection, spatial reasoning, rough mereology, mereology |
25 | Wolfgang Pohl |
Logic-Based Representation and Reasoning for User Modeling Shell Systems. |
User Model. User Adapt. Interact. |
1999 |
DBLP DOI BibTeX RDF |
modal logic approach, partition approach, user model representation and reasoning, user modeling shell systems |
25 | Ralf Möller 0001, Michael Wessel |
Terminological Default Reasoning about Spatial Information: A First Step. |
COSIT |
1999 |
DBLP DOI BibTeX RDF |
Spatial Default Reasoning, Description Logics |
25 | Alena Griffiths |
Modular reasoning in Object-Z. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
formal specification validation, modular semantics, object property, system property, partial validation, formal specification, complex systems, Object-Z, proof, modular reasoning, large systems |
25 | Frans Coenen, Bridget Beattie, Trevor J. M. Bench-Capon, Michael J. R. Shave, B. M. Diaz |
An Ontology for Linear Spatial Reasoning. |
DEXA |
1996 |
DBLP DOI BibTeX RDF |
Multi-dimensional spatial reasoning, Ontology |
25 | Ramesh K. Rayudu, Sandhya Samarasinghe, Don Kulasiri |
A Comparison of Model-based Reasoning and Learning Approaches to Power Transmission Fault Diagnosis. |
ANNES |
1995 |
DBLP DOI BibTeX RDF |
Power Transmission Fault Diagnosis, Control Centres, Model based learning, Machine Learning, Hybrid Systems, Model based reasoning, Explanation based learning |
25 | Hans W. Guesgen, Joachim Hertzberg |
A constraint-based approach to spatiotemporal reasoning. |
Appl. Intell. |
1993 |
DBLP DOI BibTeX RDF |
spatiotemporal reasoning, Constraints, dynamic constraints, constraint relaxation |
25 | Giovanni Sartor |
A Simple Computational Model for Nonmonotonic and Adversarial Legal Reasoning. |
ICAIL |
1993 |
DBLP DOI BibTeX RDF |
legal system, rules and exceptions, knowledge representation, arguments, nonmonotonic reasoning |
25 | Denys Bernard, Mario Borillo, Bruno Gaume |
From event calculus to the scheduling problem. Semantics of action and temporal reasoning in aircraft maintenance. |
Appl. Intell. |
1991 |
DBLP DOI BibTeX RDF |
semantics of action, pragmatics of aircraft maintenance, scheduling, temporal reasoning, Event calculus |
25 | V. Sundararajan, Hitesh N. Dholakia, N. Parameswaran |
An RMS for Temporal Reasoning with Abstraction. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
Causal and Temporal Reasoning, Reason Maintenance Systems, Representation of Action and Time |
25 | Ning Xiong 0001, Peter Funk 0001 |
CBR Supports Decision Analysis with Uncertainty. |
ICCBR |
2009 |
DBLP DOI BibTeX RDF |
Case-based decision analysis, basic probability assignment, similarity, case-based reasoning, information fusion, decision model |
Displaying result #301 - #400 of 44759 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|