|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles and Practices of Semantic Web Reasoning ![In: Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance ![In: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance, Papers from the 2005 AAAI Spring Symposium, Technical Report SS-05-06, Stanford, California, USA, March 21-23, 2005, pp. 77-82, 2005, AAAI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Mike Stieff |
Visualization and Diagrammatic Reasoning during Genuine Problem Solving in Science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance ![In: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance, Papers from the 2005 AAAI Spring Symposium, Technical Report SS-05-06, Stanford, California, USA, March 21-23, 2005, pp. 121-126, 2005, AAAI. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance ![In: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance, Papers from the 2005 AAAI Spring Symposium, Technical Report SS-05-06, Stanford, California, USA, March 21-23, 2005, 2005, AAAI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | B. Chandrasekaran 0001, Unmesh Kurup, Bonny Banerjee |
A Diagrammatic Reasoning Architecture: Design, Implementation and Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance ![In: Reasoning with Mental and External Diagrams: Computational Modeling and Spatial Assistance, Papers from the 2005 AAAI Spring Symposium, Technical Report SS-05-06, Stanford, California, USA, March 21-23, 2005, pp. 108-113, 2005, AAAI. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Jozsef A. Toth, C. Michael Lewis |
The Role of Representation and Working Memory in Diagrammatic Reasoning and Decision Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrammatic Representation and Reasoning ![In: Diagrammatic Representation and Reasoning, pp. 207-221, 2002, Springer, 978-1-85233-242-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Jean-Louis Giavitto, Erika Valencia |
A Topological Framework for Modelling Diagrammatic Reasoning Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrammatic Representation and Reasoning ![In: Diagrammatic Representation and Reasoning, pp. 279-295, 2002, Springer, 978-1-85233-242-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Nik Swoboda |
Implementing Euler/Venn Reasoning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrammatic Representation and Reasoning ![In: Diagrammatic Representation and Reasoning, pp. 371-386, 2002, Springer, 978-1-85233-242-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Leon Rozenblit, Michael Spivey, Julie Wojslawowicz |
Mechanical Reasoning about Gear-and-belt Diagrams: Do Eye-movements Predict Performance? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrammatic Representation and Reasoning ![In: Diagrammatic Representation and Reasoning, pp. 223-240, 2002, Springer, 978-1-85233-242-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Dale E. Fish, Robert McCartney |
Using Diagrams to Understand Diagrams: A Case-Based Approach to Diagrammatic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrammatic Representation and Reasoning ![In: Diagrammatic Representation and Reasoning, pp. 447-465, 2002, Springer, 978-1-85233-242-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini |
Reasoning in Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1581-1634, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Shang-Ching Chou, Xiao-Shan Gao |
Automated Reasoning in Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 707-749, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jürgen Dix, Ulrich Furbach, Ilkka Niemelä |
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 1241-1354, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Anatoli Degtyarev, Andrei Voronkov |
Equality Reasoning in Sequent-Based Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Automated Reasoning ![In: Handbook of Automated Reasoning (in 2 volumes), pp. 611-706, 2001, Elsevier and MIT Press, 0-444-50813-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Zhi-Qiang Liu |
Fuzzy Logic Based Neural Network for Case Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing in Case Based Reasoning ![In: Soft Computing in Case Based Reasoning, pp. 213-240, 2001, Springer, 978-1-85233-262-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing in Case Based Reasoning ![In: Soft Computing in Case Based Reasoning, pp. 321-334, 2001, Springer, 978-1-85233-262-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Julie Main, Tharam S. Dillon, Simon C. K. Shiu |
A Tutorial on Case Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing in Case Based Reasoning ![In: Soft Computing in Case Based Reasoning, pp. 1-28, 2001, Springer, 978-1-85233-262-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing in Case Based Reasoning ![In: Soft Computing in Case Based Reasoning, pp. 73-94, 2001, Springer, 978-1-85233-262-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Amílcar Cardoso, Ernesto Costa, Penousal Machado, Francisco C. Pereira, Paulo Gomes |
An Architecture for Hybrid Creative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing in Case Based Reasoning ![In: Soft Computing in Case Based Reasoning, pp. 147-177, 2001, Springer, 978-1-85233-262-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Hans-Dieter Burkhard, Michael M. Richter |
On the Notion of Similarity in Case Based Reasoning and Fuzzy Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Computing in Case Based Reasoning ![In: Soft Computing in Case Based Reasoning, pp. 29-45, 2001, Springer, 978-1-85233-262-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Frans Voorbraak |
Reasoning with Uncertainty in AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning with Uncertainty in Robotics ![In: Reasoning with Uncertainty in Robotics, International Workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995, Proceedings, pp. 52-90, 1995, Springer, 3-540-61376-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Robert A. Hummel |
Uncertainty Reasoning in Object Recognition by Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning with Uncertainty in Robotics ![In: Reasoning with Uncertainty in Robotics, International Workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995, Proceedings, pp. 131-145, 1995, Springer, 3-540-61376-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning with Uncertainty in Robotics ![In: Reasoning with Uncertainty in Robotics, International Workshop, RUR '95, Amsterdam, The Netherlands, December 4-6, 1995, Proceedings, pp. 218-220, 1995, Springer, 3-540-61376-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Chris J. Price, Ian S. Pegler |
Deciding Parameter Values with Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UK Workshop on Case-Based Reasoning ![In: Progress in Case-Based Reasoning, First United Kingdom Workshop, Salford, UK, January 12, 1995, Proceedings, pp. 121-133, 1995, Springer, 3-540-60654-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Isabelle Bichindaritz |
Incremental Concept Learning and Case-Based Reasoning: For a Co-Operative Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UK Workshop on Case-Based Reasoning ![In: Progress in Case-Based Reasoning, First United Kingdom Workshop, Salford, UK, January 12, 1995, Proceedings, pp. 91-106, 1995, Springer, 3-540-60654-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Jeremy Ellman |
An Application of Case Based Reasoning to Object Oriented Database Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UK Workshop on Case-Based Reasoning ![In: Progress in Case-Based Reasoning, First United Kingdom Workshop, Salford, UK, January 12, 1995, Proceedings, pp. 134-141, 1995, Springer, 3-540-60654-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | P. Maguire, V. Shankararaman, R. Szegfue, L. Morss |
Application of Case-Based Reasoning (CBR) to Software Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UK Workshop on Case-Based Reasoning ![In: Progress in Case-Based Reasoning, First United Kingdom Workshop, Salford, UK, January 12, 1995, Proceedings, pp. 166-174, 1995, Springer, 3-540-60654-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Peter J. Funk, David Stuart Robertson 0001 |
Capturing and Matching Dynamic Behaviour in Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UK Workshop on Case-Based Reasoning ![In: Progress in Case-Based Reasoning, First United Kingdom Workshop, Salford, UK, January 12, 1995, Proceedings, pp. 85-90, 1995, Springer, 3-540-60654-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UK Workshop on Case-Based Reasoning ![In: Progress in Case-Based Reasoning, First United Kingdom Workshop, Salford, UK, January 12, 1995, Proceedings, pp. 142-151, 1995, Springer, 3-540-60654-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Ian D. Watson |
An Introduction to Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UK Workshop on Case-Based Reasoning ![In: Progress in Case-Based Reasoning, First United Kingdom Workshop, Salford, UK, January 12, 1995, Proceedings, pp. 3-16, 1995, Springer, 3-540-60654-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Laura Martignon, Hermann von Hasseln |
Complexity and Consistency in Probabilistic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Logic and Reasoning with Neural Networks ![In: ICLP 1994 Workshop W3: Logic and Reasoning with Neural Networks, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
26 | Nam Seog Park, Dave Robertson 0001, Keith Stenning |
Reasoning with Limited Unification in a Connectionist Rule-Based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Logic and Reasoning with Neural Networks ![In: ICLP 1994 Workshop W3: Logic and Reasoning with Neural Networks, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
26 | Douglas J. Howe |
Reasoning About Functional Programs in Nuprl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming, Concurrency, Simulation and Automated Reasoning ![In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada, pp. 145-164, 1993, Springer, 3-540-56883-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Reasoning ![Springer, 3-540-55966-3 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Antonis C. Kakas |
Default Reasoning via Negation as Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshop on Knowledge Representation and Reasoning ![In: Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], pp. 160-178, 1992, Springer, 3-540-58107-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Luca Console, Daniele Theseider Dupré |
Adcuctive Reasoning with Abstraction Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshop on Knowledge Representation and Reasoning ![In: Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], pp. 98-112, 1992, Springer, 3-540-58107-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Ilkka Niemelä, Jussi Rintanen |
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshop on Knowledge Representation and Reasoning ![In: Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], pp. 275-295, 1992, Springer, 3-540-58107-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Jürgen Kalinski |
Weak Autoepistemic Reasoning and Well-Founded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshop on Knowledge Representation and Reasoning ![In: Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], pp. 179-199, 1992, Springer, 3-540-58107-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Karen L. Myers, Kurt Konolige |
Reasoning with Analogical Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshop on Knowledge Representation and Reasoning ![In: Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], pp. 229-249, 1992, Springer, 3-540-58107-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Emil Weydert |
Hyperrational Conditionals - Monotonic Reasoning About Nested Default Conditionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshop on Knowledge Representation and Reasoning ![In: Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], pp. 310-332, 1992, Springer, 3-540-58107-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Gerhard Lakemeyer, Bernhard Nebel |
Foundations of Knowledge Representation and Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI Workshop on Knowledge Representation and Reasoning ![In: Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], pp. 1-12, 1992, Springer, 3-540-58107-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Albert Z. Guttenberg |
Toward a Behavioral Theory of Regionalization. ![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. 110-121, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Leila De Floriani, Enrico Puppo |
A Hierarchical Triangle-Based Model for Terrain Description. ![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. 236-251, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Ombretta Paladino |
Treatment of Qualitative Geographic Information in Monitoring Environmental Pollution. ![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. 418-431, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Bianca Falcidieno, Caterina Pienovi, Michela Spagnuolo |
Descriptive Modeling and Prescriptive Modeling in Spatial Data Handling. ![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. 122-135, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
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. ![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. 379-401, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Daniel R. Montello |
The Geometry of Environmental Knowledge. ![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. 136-152, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Helen Couclelis |
People Manipulate Objects (but Cultivate Fields): Beyond the Raster-Vector Debate in GIS. ![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. 65-77, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Robbin R. Hough |
Time and Space: An Economic Model. ![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. 78-96, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Richard T. Snodgrass |
Temporal Databases. ![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. 22-64, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Thanasis Hadzilacos, Nectaria Tryfona |
A Model for Expressing topological Integrity Constraints in Geographic Databases. ![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. 252-268, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Reginald G. Golledge |
Do People Understand Spatial Concepts: The Case of First-Order Primitives. ![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. 1-21, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
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. ![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. 348-367, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Keiichi Takeuchi |
The Changing Language of and Persisting Patterns in the Urban Design of Edo/Tokyo. ![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. 97-109, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Peter A. Whigham, Robert I. McKay, J. R. Davis |
Machine Induction of Geospatial Knowledge. ![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. 402-417, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Mikko Lindholm, Tapani Sarjakoski |
User Models and Information Theory in the Design of a Query Interface for GIS. ![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. 328-347, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | A. Stewart Fotheringham, Andrew Curtis |
Encoding Spatial Information: The Evidence for Hierarchical Processing. ![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. 269-287, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Scott M. Freundschuh |
Is there a Relationship Between Spatial Cognition and Environmental Patterns? ![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. 289-304, 1992, Springer, 3-540-55966-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa |
Reasoning in Paraconsistent Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 181-210, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
26 | Larry Wos |
Automated Reasoning and Bledsoe's Dream for the Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 297-345, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
26 | Michael M. Richter, Stefan Wess |
Similarity, Uncertainty and Case-Based Reasoning in Patdex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Reasoning: Essays in Honor of Woody Bledsoe ![In: Automated Reasoning: Essays in Honor of Woody Bledsoe, pp. 249-266, 1991, Kluwer Academic Publishers, 0-7923-1409-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 8th International Conference on Information Visualisation, IV 2004, 14-16 July 2004, London, UK, pp. 930-936, 2004, IEEE Computer Society, 0-7695-2177-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Visual Immediacy, Visual Impetus, Visual Impedance, Web Design, Visual Design, Visual Reasoning |
25 | Mozhgan Tavakolifard |
Situation-aware trust management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RecSys ![In: Proceedings of the 2009 ACM Conference on Recommender Systems, RecSys 2009, New York, NY, USA, October 23-25, 2009, pp. 413-416, 2009, ACM, 978-1-60558-435-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(1), pp. 151-198, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(1), pp. 5:1-5:41, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II, pp. 679-686, 2009, Springer, 978-3-642-02480-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2009, Chattanooga, TN, USA, March 4-7, 2009, pp. 524-528, 2009, ACM, 978-1-60558-183-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1097-1104, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 17(2), pp. 7:1-7:52, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Assume-guarantee reasoning |
25 | Marian Counihan |
'if p then q' ... and all that: Logical Elements in Reasoning and Discourse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(4), pp. 391-415, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 89-102, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 261-270, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings, pp. 389-396, 2008, Springer, 978-3-540-89673-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 11(2), pp. 94-96, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scalability, search, Web, logic, reasoning |
25 | Carmel Domshlak, Thorsten Joachims |
Efficient and non-parametric reasoning over user preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 17(1-2), pp. 41-69, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Computational and Ambient Intelligence, 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings, pp. 375-382, 2007, Springer, 978-3-540-73006-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II, pp. 681-688, 2007, Springer, 978-3-540-72585-5. The full citation details ...](Pics/full.jpeg) |
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. ![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. 238-249, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3D-GIS ![In: Innovations in 3D Geo Information Systems, First International Workshop on 3D Geoinformation, 7-8 August, 2006, Kuala Lumpur, Malaysia, pp. 119-127, 2006, Springer, 978-3-540-36997-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Fuzzy Systems and Knowledge Discovery, Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings, pp. 621-630, 2006, Springer, 3-540-45916-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 598-603, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 162-169, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 23(4), pp. 315-357, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 103-108, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 817-826, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
inexact reasoning, medical prognosticating, expert systems |
25 | Thomas O. Binford, Tod S. Levitt |
Evidential Reasoning for Object Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 25(7), pp. 837-851, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AWIC ![In: Web Intelligence, First International Atlantic Web Intelligence Conference, AWIC 2003, Madrid, Spain, May 5-6, 2003, Proceedings, pp. 94-102, 2003, Springer, 3-540-40124-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings, pp. 421-424, 2003, Springer, 3-540-14040-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 262-276, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
resource-bounded algorithms, first-order logic, approximate reasoning, multi-modal logics |
25 | Lech Polkowski |
Spatial Reasoning via Rough Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers, pp. 479-486, 2000, Springer, 3-540-43074-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 9(3), pp. 217-283, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, pp. 189-204, 1999, Springer, 3-540-66365-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Spatial Default Reasoning, Description Logics |
25 | Alena Griffiths |
Modular reasoning in Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 140-149, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996, Proceedings, pp. 718-727, 1996, Springer, 3-540-61656-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNES ![In: 2nd New Zealand Two-Stream International Conference on Artificial Neural Networks and Expert Systems (ANNES '95), November 20-23, 1995, Dunedin, New Zealand, pp. 218-222, 1995, IEEE Computer Society, 0-8186-7174-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(1), pp. 71-90, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![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. 192-201, 1993, ACM, 0-89791-606-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 1(3), pp. 195-221, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings, pp. 733-744, 1991, Springer, 3-540-54029-6. The full citation details ...](Pics/full.jpeg) |
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. ![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. 358-373, 2009, Springer, 978-3-642-02997-4. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|