|
|
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 |
30 | Luciano Serafini, Andrei Tamilin |
DRAGO: Distributed Reasoning Architecture for the Semantic Web. |
ESWC |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Douglas S. Green, David C. Brown |
Qualitative reasoning about fit (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
30 | Natsumi Kitajima, Yuichi Goto, Jingde Cheng |
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. |
HAIS |
2009 |
DBLP DOI BibTeX RDF |
Terminal radar control, Anticipatory reasoning-reacting system, Decision-making, Reasoning about actions |
30 | Adam Zachary Wyner |
An ontology in OWL for legal case-based reasoning. |
Artif. Intell. Law |
2008 |
DBLP DOI BibTeX RDF |
Legal cases, Ontology, OWL, Case-based reasoning, Legal reasoning |
30 | Tao Gu, Hung Keng Pung, Daqing Zhang 0001 |
Peer-to-Peer Context Reasoning in Pervasive Computing Environments. |
PerCom |
2008 |
DBLP DOI BibTeX RDF |
P2P reasoning, context reasoning |
30 | Hailin Feng, Chenxi Shao, Yi Xu |
Fuzzy Reasoning Approach for Conceptual Design. |
ISNN (2) |
2008 |
DBLP DOI BibTeX RDF |
Mechanical configuration, Spatial reasoning, Conceptual design, Fuzzy reasoning |
30 | Stefan Schleipen, Marco Ragni, Thomas Fangmeier |
Negation in Spatial Reasoning. |
KI |
2007 |
DBLP DOI BibTeX RDF |
Cognitive modeling, Spatial Reasoning, Knowledge Representation and Reasoning |
30 | Bernhard Heinemann |
A Hybrid Logic of Knowledge Supporting Topological Reasoning. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
logical frameworks for reasoning, reasoning about knowledge and topology, completeness, decidability, hybridization |
30 | José Carlos Loureiro Ralha, Célia Ghedini Ralha |
Towards a Natural Way of Reasoning. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
argumentative systems, non-monotonic reasoning, generalized quantifiers, defeasible reasoning |
30 | Bartlomiej Sniezynski |
Basic Semantics of the Logic of Plausible Reasoning. |
ISMIS |
2002 |
DBLP DOI BibTeX RDF |
logic of plausible reasoning, uncertain knowledge representation, semantics of the logic of plausible reasoning |
30 | Gerard Ligozat |
When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings. |
COSIT |
2001 |
DBLP DOI BibTeX RDF |
weak representation, complete theory, relation algebra, temporal reasoning, spatial reasoning |
30 | Li Yang, Mukesh Dalal |
Empirical Results on Anytime Propositional Reasoning . |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
AI Algorithms, Automated reasoning Anytime Reasoning with Probabilistic Inequalities |
30 | Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler |
Approximate OWL-Reasoning with Screech. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Fábio Porto 0001 |
Reasoning on Dynamically Built Reasoning Space with Ontology Modules. |
OTM Conferences (2) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Rolf Haenni |
Unifying Logical and Probabilistic Reasoning. |
ECSQARU |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Paulo Gomes, Francisco C. Pereira, Nuno Seco, Paulo Paiva, Paulo Carreiro, José Luís Ferreira, Carlos Bento |
Combining Case-Based Reasoning and Analogical Reasoning in Software Design. |
AICS |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati 0001 |
Ontologies and Databases: The DL-Lite Approach. |
Reasoning Web |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Alain Léger, Johannes Heinecke, Lyndon J. B. Nixon, Pavel Shvaiko, Jean Charlet, Paola Hobson, François Goasdoué |
The Semantic Web from an Industry Perspective. |
Reasoning Web |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Michael Beetz |
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Manish Mehta 0001, Santiago Ontañón, Ashwin Ram 0001 |
Using Meta-reasoning to Improve the Performance of Case-Based Planning. |
ICCBR |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Annett Bierer |
Methodological Assistance for Integrating Data Quality Evaluations into Case-Based Reasoning Systems. |
ICCBR |
2007 |
DBLP DOI BibTeX RDF |
data quality management, closed loop control, goal-question-metrics-approach, data quality |
29 | Cynthia R. Marling, Peter Whitehouse |
Case-Based Reasoning in the Care of Alzheimer's Disease Patients. |
ICCBR |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Maria Frucci, Petra Perner, Gabriella Sanniti di Baja |
Case-Based Reasoning for Image Segmentation by Watershed Transformation. |
Case-Based Reasoning on Images and Signals |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Petra Perner |
Introduction to Case-Based Reasoning for Signals and Images. |
Case-Based Reasoning on Images and Signals |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Bir Bhanu, Rong Wang |
Learning a Statistical Model for Performance Prediction in Case-Based Reasoning. |
Case-Based Reasoning on Images and Signals |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Leon Bobrowski, Magdalena Topczewska |
Induction of Similarity Measures for Case Based Reasoning Through Separable Data Transformations. |
Case-Based Reasoning on Images and Signals |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Pasi Pohjola |
Ontology, Artefacts, and Models of Reasoning. |
Model-Based Reasoning in Science, Technology, and Medicine |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic |
Reasoning in Semantic Wikis. |
Reasoning Web |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Frank Schilder |
Event Extraction and Temporal Reasoning in Legal Documents. |
Annotating, Extracting and Reasoning about Time and Events |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Frank Schilder, Graham Katz, James Pustejovsky |
Annotating, Extracting and Reasoning About Time and Events. |
Annotating, Extracting and Reasoning about Time and Events |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Christopher M. Gold |
The Meaning of "Neighbour". |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Kazuo Hiraki, Yuichiro Anzai |
Towards Acquiring Spatio-Temporal Knowledge from Sensor Data. |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Miquel Sànchez-Marrè, Ulises Cortés, Montserrat Martínez, Joaquim Comas, Ignasi Rodríguez-Roda |
An Approach for Temporal Case-Based Reasoning: Episode-Based Reasoning. |
ICCBR |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin |
Strategic Agent Communication: An Argumentation-Driven Approach. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
Complexity, Argumentation, Agent Communication, Strategic Reasoning, Social Commitments |
29 | Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern |
Automated Theorem Proving in Euler Diagram Systems. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
Heuristics, Visual languages, Diagrammatic reasoning, Euler diagrams |
28 | Taghi M. Khoshgoftaar, Edward B. Allen, Jason C. Busboom |
Modeling software quality: the Software Measurement Analysis and Reliability Toolkit. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
Software Measurement Analysis and Reliability Toolkit, reliability enhancement activities, high risk modules, automated reasoning processes, CBR systems, CBR classification, module-order models, rank-order, military command control and communications, software developers, software tools, software quality, software metrics, software reliability, cluster analysis, case-based reasoning, case based reasoning, software performance evaluation, software product, life cycle, software quality modeling, software quality models, fault predictions, process metrics, SMART, fault prone modules, quality factor, classification models, command and control systems, research tool |
28 | Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak |
Causal Propagation Semantics - A Study. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
temporal reasoning, nonmonotonic reasoning, common-sense reasoning |
28 | Yan Zhang 0003 |
Representing Defeasible Constraints and Observations in Action Theories. |
Australian Joint Conference on Artificial Intelligence |
1998 |
DBLP DOI BibTeX RDF |
knowledge representation, temporal reasoning, reasoning about action, commonsense reasoning |
28 | Anahid Bassiri, Mohammad Reza Malek, Ali A. Alesheikh |
Rough Qualitative Spatial Reasoning Based on Rough Topology. |
ICCSA (1) |
2009 |
DBLP DOI BibTeX RDF |
GIS, Rough set, Topology, Spatial Reasoning |
28 | Jeongyeon Lim, Munjo Kim, Bumshik Lee, Munchurl Kim, Heekyung Lee, Hankyu Lee |
A target advertisement system based on TV viewer's profile reasoning. |
Multim. Tools Appl. |
2008 |
DBLP DOI BibTeX RDF |
Target advertisement, Personalcasting, User profile reasoning |
28 | Dieter Fensel, Frank van Harmelen, Bo Andersson, Paul Brennan, Hamish Cunningham, Emanuele Della Valle, Florian Fischer, Zhisheng Huang, Atanas Kiryakov, Tony Kyung-il Lee, Lael Schooler, Volker Tresp, Stefan Wesner, Michael Witbrock, Ning Zhong 0001 |
Towards LarKC: A Platform for Web-Scale Reasoning. |
ICSC |
2008 |
DBLP DOI BibTeX RDF |
web-scale reasoning, Semantic Web, scalability |
28 | Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne |
A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
formal policy processing, ontologies, automated reasoning |
28 | Bruce M. McLaren |
Computational Models of Ethical Reasoning: Challenges, Initial Steps, and Future Directions. |
IEEE Intell. Syst. |
2006 |
DBLP DOI BibTeX RDF |
casuistry, artificial intelligence, case-based reasoning, machine ethics |
28 | Pablo Alberto Dalbem de Castro, Heloisa de Arruda Camargo |
A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy Rules. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
Genetic Fuzzy Rule-Based Systems, Fuzzy Reasoning Methods, Learning, Pattern Classification |
28 | Chris Cornelis, Martine De Cock, Etienne E. Kerre |
Efficient Approximate Reasoning with Positive and Negative Information. |
KES |
2004 |
DBLP DOI BibTeX RDF |
positive and negative information, inclusion measures, approximate reasoning, possibility theory |
28 | Qing Liu 0011 |
Granules and Reasoning Based on Granular Computing. |
IEA/AIE |
2003 |
DBLP DOI BibTeX RDF |
Elementary Granule, Reasoning Model, Inclusion and Closeness, Granular Computing |
28 | Takahisa Ando, Takao Uehara |
Reasoning by Agents in Computer Bridge Bidding. |
Computers and Games |
2000 |
DBLP DOI BibTeX RDF |
Computer bridge, Imperfect information game, Agent, Constraint logic programming, Bidding, Hypothetical reasoning |
28 | Yi Lu, Ramesh C. Jain |
Reasoning About Edges in Scale Space. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1992 |
DBLP DOI BibTeX RDF |
multiscale reasoning algorithm, edge recovery, edge behavior, edge curves, zero crossing images, computer vision, computer vision, knowledge representation, knowledge representation, inference mechanisms, inference mechanisms, scale space, edges, noise elimination, edge detector |
28 | Jiaxin Han |
Conceptual Space and Reasoning Method of Intelligent System. |
FSKD (6) |
2009 |
DBLP DOI BibTeX RDF |
Abstract concept degree, Longitudinal reasoning, Decision-making reasoning, Recollection reasoning |
28 | Malek Mouhoub |
Reasoning about numeric and symbolic time information. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
symbolic time information, numeric time information, TemPro, qualitative temporal constraints, quantitative temporal constraints, scheduling, scheduling, real-time systems, natural language processing, planning (artificial intelligence), planning, natural languages, reasoning, temporal reasoning, temporal reasoning, real time applications, constraint propagation, constraint handling, temporal model, constraint theory, interval algebra |
28 | Volker Haarslev |
Formal Semantics of Visual Languages using Spatial Reasoning. |
VL |
1995 |
DBLP DOI BibTeX RDF |
qualitative spatial relationships, description logic theory, convex regions, semantics specifications, Pictorial Janus, graphical theorem proving, formal specification, visual programming, visual languages, visual languages, formal semantics, algebraic specification, spatial reasoning, spatial reasoning, points, automatic verification, lines, spatial logic, visual reasoning, geometrical objects |
28 | Giovanni Casini, Hykel Hosni |
A Note on Cumulative Stereotypical Reasoning. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
cumulative reasoning, default-assumption logic, prototypes, Stereotypes, nonmonotonic logic |
28 | Amir M. Anvar |
Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning. |
TIME |
2003 |
DBLP DOI BibTeX RDF |
intelligent navigation, fuzzy logic, temporal reasoning, Autonomous Underwater Vehicle |
28 | Alice ter Meulen, Hans Smessaert |
Temporal reasoning with aspectual adverbs. |
TIME |
2001 |
DBLP DOI BibTeX RDF |
ordinary English, aspectual adverbs, updating context, temporal reasoning, dynamic semantics |
27 | Jaap Hage |
Comparing Alternatives in the law. |
Artif. Intell. Law |
2004 |
DBLP DOI BibTeX RDF |
legal proof, qualitative comparative reasoning, reason-based logic, theory construction, case-based reasoning |
27 | Benedek Nagy, Gerard Allwein |
Diagrams and Non-monotonicity in Puzzles. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
diagrammatic reasoning, Puzzles, non-monotonic reasoning |
27 | Alexander Scivos, Bernhard Nebel |
Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation. |
COSIT |
2001 |
DBLP DOI BibTeX RDF |
languages of spatial relations, spatial and temporal reasoning, incomplete or imprecise spatial knowledge, ternary relation systems, constraint propagation, qualitative spatial reasoning |
27 | Samir Chopra, Dongmo Zhang |
Postdiction Problems in Dynamic Logic. |
Australian Joint Conference on Artificial Intelligence |
2001 |
DBLP DOI BibTeX RDF |
temporal reasoning, commonsense reasoning |
27 | Jiming Liu 0001, Michel C. Desmarais |
A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation. |
IEEE Trans. Knowl. Data Eng. |
1997 |
DBLP DOI BibTeX RDF |
Belief-network induction, implication networks, implication-network induction, knowledge engineering, Monte-Carlo simulation, learning algorithms, probabilistic reasoning, empirical validation, evidential reasoning |
27 | Rajeev Alur |
Temporal Reasoning about Program Executions. |
FoSSaCS |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Hirosato Seki, Hiroaki Ishii, Masaharu Mizumoto |
On the Generalization of Single Input Rule Modules Connected Type Fuzzy Reasoning Method. |
IEEE Trans. Fuzzy Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Donghai Guan, Weiwei Yuan, Seong Jin Cho, Andrey Gavrilov, Young-Koo Lee, Sungyoung Lee |
Devising a Context Selection-Based Reasoning Engine for Context-Aware Ubiquitous Computing Middleware. |
UIC |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Mohamed Mbarki, Jamal Bentahar, Bernard Moulin |
Specification and Complexity of Strategic-Based Reasoning Using Argumentation. |
ArgMAS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Peipeng Liang, Ning Zhong 0001, Shengfu Lu, Jiming Liu 0001, Yiyu Yao, Kuncheng Li, Yanhui Yang |
The Neural Mechanism of Human Numerical Inductive Reasoning Process: A Combined ERP and fMRI Study. |
WImBI |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Bruno Buchberger |
Mathematical Theory Exploration. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Tibor Bosse, Catholijn M. Jonker, Jan Treur |
Requirements Analysis of an Agent's Reasoning Capability. |
AOIS |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Dan Meng, Zaiqiang Zhang, Yang Xu 0001 |
A Case Retrieval Model Based on Factor-Structure Connection and lambda-Similarity in Fuzzy Case-Based Reasoning. |
FSKD (1) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Yingcang Ma, Huacan He |
The fuzzy reasoning rules based on universal logic. |
GrC |
2005 |
DBLP DOI BibTeX RDF |
|
27 | François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner |
A Geospatial World Model for the Semantic Web. |
PPSWR |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Bram Roth, Bart Verheij |
Cases and Dialectical Arguments - An Approach to Case-Based Reasoning. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Matthew Beaumont, John Thornton 0001, Abdul Sattar 0001, Michael J. Maher |
Solving Over-Constrained Temporal Reasoning Problems Using Local Search. |
PRICAI |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Lech Polkowski |
A Survey of Recent Results on Spatial Reasoning via Rough Inclusions. |
IMTCI |
2004 |
DBLP DOI BibTeX RDF |
|
27 | M. Scalem, M. Majumdar, A. P. Vashisth |
Modified Algorithm for Efficient Reasoning in Qualitative Belief Networks. |
ISPDC |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Phan Minh Dung, Paolo Mancarella, Francesca Toni |
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
27 | John Bell |
Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics. |
CONTEXT |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Dan Corbett |
A Method for Reasoning with Ontologies Represented as Conceptual Graphs. |
Australian Joint Conference on Artificial Intelligence |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Hajime Sawamura, Kensuke Kiyozuka |
JVenn: A Visual Reasoning System with Diagrams and Sentences. |
Diagrams |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Grigoris Antoniou, Aditya Ghose |
What Is Default Reasoning Good For? Applications Revisited. |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Tie-Cheng Wang |
Elements of Z-Module Reasoning. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
27 | Soumitra Dutta |
Approximate Spatial Reasoning. |
IEA/AIE (Vol. 1) |
1988 |
DBLP DOI BibTeX RDF |
|
27 | Qing Liu 0011, Lan Liu |
Rough Logic and Its Reasoning. |
Trans. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
Atomic formula, Well-formed formula, Resolution reasoning, Deductive reasoning |
27 | Georgios Meditskos, Nick Bassiliades |
Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning. |
ISWC |
2008 |
DBLP DOI BibTeX RDF |
Hybrid and Homogeneous Systems, Rule-based OWL Reasoning, Entailment Rules, DL Reasoning, Rule Engines |
27 | Mingyang Gu, Agnar Aamodt, Xin Tong |
Component Retrieval Using Conversational Case-Based Reasoning. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
Conversational Case-Based Reasoning, Knowledge-Intensive Case-Based Reasoning, Semantic Similarity Calculation, Incrementally Query Acquisition, Software Component Retrieval |
27 | Kenneth D. Forbus, James V. Mahoney, Kevin Dill |
How Qualitative Spatial Reasoning Can Improve Strategy Game AIs. |
IEEE Intell. Syst. |
2002 |
DBLP DOI BibTeX RDF |
knowledge representation, Qualitative spatial reasoning, visual reasoning |
27 | Rolf Nossum, Luciano Serafini |
Multicontext Logic for Semigroups of Contexts. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
Integration of Logical Reasoning and Computer Algebra, Logic and Symbolic Computing, Reasoning |
27 | Marc Aiguier, Diane Bahrami, Catherine Dubois |
On a Generalised Logicality Theorem. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
semi-commutation, abstract rewrite tree, abstract convertibility relation, logicality Topics: Term Rewriting, Integration of Logical Reasoning and Computer Algebra, Reasoning, Formal system |
27 | Alessandra Raffaetà, Chiara Renso |
Temporal Reasoning in Geographical Information Systems. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
declarative approach, spatio-temporal data analysis, MuTACLP+, temporal primitive operators, modularity features, event planning, geographical information systems, GIS, temporal reasoning, temporal reasoning, spatial data, environmental monitoring, logic programming language |
27 | Ján Sefránek |
A Kripkean Semantics for Dynamic Logic Programming. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
dynamic logic programming, dynamic Kripke structure, updates, nonmonotonic reasoning, stable model, knowledge representation and reasoning, Kripke structure, knowledge evolution |
27 | Brandon Bennett, Anthony G. Cohn 0001, Amar Isli |
Combining Multiple Representations in a Spatial Reasoning System. |
ICTAI |
1997 |
DBLP DOI BibTeX RDF |
spatial reasoning system, quantitative representations, numerical coordinate systems, high-level conceptual vocabulary, qualitative languages, computational tractability, first-order language, intuitionistic propositional logic, quantitative data structures, polygonal regions, qualitative relational language, high-level queries, spatial reasoning, multiple representations, topological relations, spatial information systems, qualitative representations |
27 | Moisés Goldszmidt, Paul H. Morris, Judea Pearl |
A Maximum Entropy Approach to Nonmonotonic Reasoning. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1993 |
DBLP DOI BibTeX RDF |
abnormality minimisation, infinitesimal probabilities, probabilistic interpretation, conditional knowledge base, conditional interpretations, knowledge based systems, inference, maximum entropy, nonmonotonic reasoning, nonmonotonic reasoning, probabilistic logic |
27 | Laurent Biusson |
Reasoning on Space with Object-Centered Knowledge Representations. |
SSD |
1989 |
DBLP DOI BibTeX RDF |
reasoning dynamicity, Knowledge based systems, spatial reasoning, spaces |
27 | Toshiko Wakaki, Hajime Sawamura, Katsumi Nitta |
An Integrated System of Semantic Web Reasoning and Argument-Based Reasoning. |
AWIC |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Antonio Morales, Guido Sciavicco |
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Tibor Bosse, Catholijn M. Jonker, Jan Treur |
Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. |
IWINAC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Alessandro Armando, Silvio Ranise |
From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Isabelle Bichindaritz, Emin Kansu, Keith M. Sullivan |
Case-Based Reasoning in CARE-PARTNER: Gathering Evidence for Evidence-Based Medical Practice. |
EWCBR |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Abraham Bagherjeiran, Christoph F. Eick |
Distance Function Learning for Supervised Similarity Assessment. |
Case-Based Reasoning on Images and Signals |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Steffen Staab, Ansgar Scherp, Richard Arndt, Raphaël Troncy, Marcin Grzegorzek, Carsten Saathoff, Simon Schenk, Lynda Hardman |
Semantic Multimedia. |
Reasoning Web |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Oliver Ray |
Automated Abduction in Scientific Discovery. |
Model-Based Reasoning in Science, Technology, and Medicine |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Katy Börner |
CBR for Design. |
Case-Based Reasoning Technology |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 44759 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|