The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Reasoning with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1957-1974 (16) 1975-1976 (16) 1977-1978 (21) 1979 (17) 1980 (31) 1981 (16) 1982 (33) 1983 (53) 1984 (68) 1985 (93) 1986 (143) 1987 (160) 1988 (293) 1989 (329) 1990 (323) 1991 (525) 1992 (554) 1993 (573) 1994 (615) 1995 (586) 1996 (678) 1997 (762) 1998 (684) 1999 (743) 2000 (906) 2001 (1057) 2002 (1120) 2003 (1103) 2004 (1598) 2005 (1909) 2006 (1889) 2007 (2081) 2008 (2171) 2009 (1750) 2010 (1220) 2011 (1183) 2012 (1156) 2013 (1287) 2014 (1460) 2015 (1156) 2016 (1390) 2017 (1218) 2018 (1474) 2019 (1455) 2020 (1658) 2021 (1755) 2022 (2052) 2023 (2719) 2024 (660)
Publication types (Num. hits)
article(11750) book(166) data(3) incollection(712) inproceedings(30951) phdthesis(718) proceedings(459)
Venues (Conferences, Journals, ...)
CoRR(3383) KR(1417) ECSQARU(856) ICCBR(819) LPAR(769) ICCS(703) TIME(697) LPNMR(628) IJCAR(456) AAAI(437) TABLEAUX(423) IJCAI(418) CogSci(348) Description Logics(288) Artif. Intell.(267) AAMAS(243) More (+10 of total 4865)
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
30Luciano Serafini, Andrei Tamilin DRAGO: Distributed Reasoning Architecture for the Semantic Web. Search on Bibsonomy ESWC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Douglas S. Green, David C. Brown Qualitative reasoning about fit (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
30Natsumi Kitajima, Yuichi Goto, Jingde Cheng Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. Search on Bibsonomy HAIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Terminal radar control, Anticipatory reasoning-reacting system, Decision-making, Reasoning about actions
30Adam Zachary Wyner An ontology in OWL for legal case-based reasoning. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Legal cases, Ontology, OWL, Case-based reasoning, Legal reasoning
30Tao Gu, Hung Keng Pung, Daqing Zhang 0001 Peer-to-Peer Context Reasoning in Pervasive Computing Environments. Search on Bibsonomy PerCom The full citation details ... 2008 DBLP  DOI  BibTeX  RDF P2P reasoning, context reasoning
30Hailin Feng, Chenxi Shao, Yi Xu Fuzzy Reasoning Approach for Conceptual Design. Search on Bibsonomy ISNN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mechanical configuration, Spatial reasoning, Conceptual design, Fuzzy reasoning
30Stefan Schleipen, Marco Ragni, Thomas Fangmeier Negation in Spatial Reasoning. Search on Bibsonomy KI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Cognitive modeling, Spatial Reasoning, Knowledge Representation and Reasoning
30Bernhard Heinemann A Hybrid Logic of Knowledge Supporting Topological Reasoning. Search on Bibsonomy AMAST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF logical frameworks for reasoning, reasoning about knowledge and topology, completeness, decidability, hybridization
30José Carlos Loureiro Ralha, Célia Ghedini Ralha Towards a Natural Way of Reasoning. Search on Bibsonomy SBIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF argumentative systems, non-monotonic reasoning, generalized quantifiers, defeasible reasoning
30Bartlomiej Sniezynski Basic Semantics of the Logic of Plausible Reasoning. Search on Bibsonomy ISMIS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF logic of plausible reasoning, uncertain knowledge representation, semantics of the logic of plausible reasoning
30Gerard Ligozat When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings. Search on Bibsonomy COSIT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF weak representation, complete theory, relation algebra, temporal reasoning, spatial reasoning
30Li Yang, Mukesh Dalal Empirical Results on Anytime Propositional Reasoning . Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF AI Algorithms, Automated reasoning Anytime Reasoning with Probabilistic Inequalities
30Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler Approximate OWL-Reasoning with Screech. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Fábio Porto 0001 Reasoning on Dynamically Built Reasoning Space with Ontology Modules. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Rolf Haenni Unifying Logical and Probabilistic Reasoning. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Paulo 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. Search on Bibsonomy AICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati 0001 Ontologies and Databases: The DL-Lite Approach. Search on Bibsonomy Reasoning Web The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Alain Léger, Johannes Heinecke, Lyndon J. B. Nixon, Pavel Shvaiko, Jean Charlet, Paola Hobson, François Goasdoué The Semantic Web from an Industry Perspective. Search on Bibsonomy Reasoning Web The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Michael Beetz Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Manish Mehta 0001, Santiago Ontañón, Ashwin Ram 0001 Using Meta-reasoning to Improve the Performance of Case-Based Planning. Search on Bibsonomy ICCBR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Annett Bierer Methodological Assistance for Integrating Data Quality Evaluations into Case-Based Reasoning Systems. Search on Bibsonomy ICCBR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF data quality management, closed loop control, goal-question-metrics-approach, data quality
29Cynthia R. Marling, Peter Whitehouse Case-Based Reasoning in the Care of Alzheimer's Disease Patients. Search on Bibsonomy ICCBR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
29Maria Frucci, Petra Perner, Gabriella Sanniti di Baja Case-Based Reasoning for Image Segmentation by Watershed Transformation. Search on Bibsonomy Case-Based Reasoning on Images and Signals The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Petra Perner Introduction to Case-Based Reasoning for Signals and Images. Search on Bibsonomy Case-Based Reasoning on Images and Signals The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Bir Bhanu, Rong Wang Learning a Statistical Model for Performance Prediction in Case-Based Reasoning. Search on Bibsonomy Case-Based Reasoning on Images and Signals The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Leon Bobrowski, Magdalena Topczewska Induction of Similarity Measures for Case Based Reasoning Through Separable Data Transformations. Search on Bibsonomy Case-Based Reasoning on Images and Signals The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Pasi Pohjola Ontology, Artefacts, and Models of Reasoning. Search on Bibsonomy Model-Based Reasoning in Science, Technology, and Medicine The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Markus Krötzsch, Sebastian Schaffert, Denny Vrandecic Reasoning in Semantic Wikis. Search on Bibsonomy Reasoning Web The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Frank Schilder Event Extraction and Temporal Reasoning in Legal Documents. Search on Bibsonomy Annotating, Extracting and Reasoning about Time and Events The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Frank Schilder, Graham Katz, James Pustejovsky Annotating, Extracting and Reasoning About Time and Events. Search on Bibsonomy Annotating, Extracting and Reasoning about Time and Events The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Christopher M. Gold The Meaning of "Neighbour". Search on Bibsonomy Spatio-Temporal Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
29Kazuo Hiraki, Yuichiro Anzai Towards Acquiring Spatio-Temporal Knowledge from Sensor Data. Search on Bibsonomy Spatio-Temporal Reasoning The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
29Miquel 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. Search on Bibsonomy ICCBR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin Strategic Agent Communication: An Argumentation-Driven Approach. Search on Bibsonomy DALT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Complexity, Argumentation, Agent Communication, Strategic Reasoning, Social Commitments
29Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern Automated Theorem Proving in Euler Diagram Systems. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Heuristics, Visual languages, Diagrammatic reasoning, Euler diagrams
28Taghi M. Khoshgoftaar, Edward B. Allen, Jason C. Busboom Modeling software quality: the Software Measurement Analysis and Reliability Toolkit. Search on Bibsonomy ICTAI The full citation details ... 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
28Mikhail Prokopenko, Maurice Pagnucco, Pavlos Peppas, Abhaya C. Nayak Causal Propagation Semantics - A Study. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1999 DBLP  DOI  BibTeX  RDF temporal reasoning, nonmonotonic reasoning, common-sense reasoning
28Yan Zhang 0003 Representing Defeasible Constraints and Observations in Action Theories. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1998 DBLP  DOI  BibTeX  RDF knowledge representation, temporal reasoning, reasoning about action, commonsense reasoning
28Anahid Bassiri, Mohammad Reza Malek, Ali A. Alesheikh Rough Qualitative Spatial Reasoning Based on Rough Topology. Search on Bibsonomy ICCSA (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF GIS, Rough set, Topology, Spatial Reasoning
28Jeongyeon Lim, Munjo Kim, Bumshik Lee, Munchurl Kim, Heekyung Lee, Hankyu Lee A target advertisement system based on TV viewer's profile reasoning. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Target advertisement, Personalcasting, User profile reasoning
28Dieter 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. Search on Bibsonomy ICSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF web-scale reasoning, Semantic Web, scalability
28Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor. Search on Bibsonomy POLICY The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal policy processing, ontologies, automated reasoning
28Bruce M. McLaren Computational Models of Ethical Reasoning: Challenges, Initial Steps, and Future Directions. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF casuistry, artificial intelligence, case-based reasoning, machine ethics
28Pablo Alberto Dalbem de Castro, Heloisa de Arruda Camargo A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy Rules. Search on Bibsonomy SBIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Genetic Fuzzy Rule-Based Systems, Fuzzy Reasoning Methods, Learning, Pattern Classification
28Chris Cornelis, Martine De Cock, Etienne E. Kerre Efficient Approximate Reasoning with Positive and Negative Information. Search on Bibsonomy KES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF positive and negative information, inclusion measures, approximate reasoning, possibility theory
28Qing Liu 0011 Granules and Reasoning Based on Granular Computing. Search on Bibsonomy IEA/AIE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Elementary Granule, Reasoning Model, Inclusion and Closeness, Granular Computing
28Takahisa Ando, Takao Uehara Reasoning by Agents in Computer Bridge Bidding. Search on Bibsonomy Computers and Games The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Computer bridge, Imperfect information game, Agent, Constraint logic programming, Bidding, Hypothetical reasoning
28Yi Lu, Ramesh C. Jain Reasoning About Edges in Scale Space. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
28Jiaxin Han Conceptual Space and Reasoning Method of Intelligent System. Search on Bibsonomy FSKD (6) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Abstract concept degree, Longitudinal reasoning, Decision-making reasoning, Recollection reasoning
28Malek Mouhoub Reasoning about numeric and symbolic time information. Search on Bibsonomy ICTAI The full citation details ... 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
28Volker Haarslev Formal Semantics of Visual Languages using Spatial Reasoning. Search on Bibsonomy VL The full citation details ... 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
28Giovanni Casini, Hykel Hosni A Note on Cumulative Stereotypical Reasoning. Search on Bibsonomy ECSQARU The full citation details ... 2009 DBLP  DOI  BibTeX  RDF cumulative reasoning, default-assumption logic, prototypes, Stereotypes, nonmonotonic logic
28Amir M. Anvar Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF intelligent navigation, fuzzy logic, temporal reasoning, Autonomous Underwater Vehicle
28Alice ter Meulen, Hans Smessaert Temporal reasoning with aspectual adverbs. Search on Bibsonomy TIME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF ordinary English, aspectual adverbs, updating context, temporal reasoning, dynamic semantics
27Jaap Hage Comparing Alternatives in the law. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2004 DBLP  DOI  BibTeX  RDF legal proof, qualitative comparative reasoning, reason-based logic, theory construction, case-based reasoning
27Benedek Nagy, Gerard Allwein Diagrams and Non-monotonicity in Puzzles. Search on Bibsonomy Diagrams The full citation details ... 2004 DBLP  DOI  BibTeX  RDF diagrammatic reasoning, Puzzles, non-monotonic reasoning
27Alexander Scivos, Bernhard Nebel Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation. Search on Bibsonomy COSIT The full citation details ... 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
27Samir Chopra, Dongmo Zhang Postdiction Problems in Dynamic Logic. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2001 DBLP  DOI  BibTeX  RDF temporal reasoning, commonsense reasoning
27Jiming Liu 0001, Michel C. Desmarais A Method of Learning Implication Networks from Empirical Data: Algorithm and Monte-Carlo Simulation-Based Validation. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
27Rajeev Alur Temporal Reasoning about Program Executions. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Hirosato Seki, Hiroaki Ishii, Masaharu Mizumoto On the Generalization of Single Input Rule Modules Connected Type Fuzzy Reasoning Method. Search on Bibsonomy IEEE Trans. Fuzzy Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Donghai 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. Search on Bibsonomy UIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Mohamed Mbarki, Jamal Bentahar, Bernard Moulin Specification and Complexity of Strategic-Based Reasoning Using Argumentation. Search on Bibsonomy ArgMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Peipeng 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. Search on Bibsonomy WImBI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Bruno Buchberger Mathematical Theory Exploration. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Tibor Bosse, Catholijn M. Jonker, Jan Treur Requirements Analysis of an Agent's Reasoning Capability. Search on Bibsonomy AOIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Dan Meng, Zaiqiang Zhang, Yang Xu 0001 A Case Retrieval Model Based on Factor-Structure Connection and lambda-Similarity in Fuzzy Case-Based Reasoning. Search on Bibsonomy FSKD (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Yingcang Ma, Huacan He The fuzzy reasoning rules based on universal logic. Search on Bibsonomy GrC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner A Geospatial World Model for the Semantic Web. Search on Bibsonomy PPSWR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Bram Roth, Bart Verheij Cases and Dialectical Arguments - An Approach to Case-Based Reasoning. Search on Bibsonomy OTM Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Matthew Beaumont, John Thornton 0001, Abdul Sattar 0001, Michael J. Maher Solving Over-Constrained Temporal Reasoning Problems Using Local Search. Search on Bibsonomy PRICAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Lech Polkowski A Survey of Recent Results on Spatial Reasoning via Rough Inclusions. Search on Bibsonomy IMTCI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27M. Scalem, M. Majumdar, A. P. Vashisth Modified Algorithm for Efficient Reasoning in Qualitative Belief Networks. Search on Bibsonomy ISPDC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Phan Minh Dung, Paolo Mancarella, Francesca Toni Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27John Bell Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics. Search on Bibsonomy CONTEXT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Dan Corbett A Method for Reasoning with Ontologies Represented as Conceptual Graphs. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Hajime Sawamura, Kensuke Kiyozuka JVenn: A Visual Reasoning System with Diagrams and Sentences. Search on Bibsonomy Diagrams The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Grigoris Antoniou, Aditya Ghose What Is Default Reasoning Good For? Applications Revisited. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Tie-Cheng Wang Elements of Z-Module Reasoning. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
27Soumitra Dutta Approximate Spatial Reasoning. Search on Bibsonomy IEA/AIE (Vol. 1) The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
27Qing Liu 0011, Lan Liu Rough Logic and Its Reasoning. Search on Bibsonomy Trans. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Atomic formula, Well-formed formula, Resolution reasoning, Deductive reasoning
27Georgios Meditskos, Nick Bassiliades Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning. Search on Bibsonomy ISWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hybrid and Homogeneous Systems, Rule-based OWL Reasoning, Entailment Rules, DL Reasoning, Rule Engines
27Mingyang Gu, Agnar Aamodt, Xin Tong Component Retrieval Using Conversational Case-Based Reasoning. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Conversational Case-Based Reasoning, Knowledge-Intensive Case-Based Reasoning, Semantic Similarity Calculation, Incrementally Query Acquisition, Software Component Retrieval
27Kenneth D. Forbus, James V. Mahoney, Kevin Dill How Qualitative Spatial Reasoning Can Improve Strategy Game AIs. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF knowledge representation, Qualitative spatial reasoning, visual reasoning
27Rolf Nossum, Luciano Serafini Multicontext Logic for Semigroups of Contexts. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Integration of Logical Reasoning and Computer Algebra, Logic and Symbolic Computing, Reasoning
27Marc Aiguier, Diane Bahrami, Catherine Dubois On a Generalised Logicality Theorem. Search on Bibsonomy AISC The full citation details ... 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
27Alessandra Raffaetà, Chiara Renso Temporal Reasoning in Geographical Information Systems. Search on Bibsonomy DEXA Workshops The full citation details ... 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
27Ján Sefránek A Kripkean Semantics for Dynamic Logic Programming. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF dynamic logic programming, dynamic Kripke structure, updates, nonmonotonic reasoning, stable model, knowledge representation and reasoning, Kripke structure, knowledge evolution
27Brandon Bennett, Anthony G. Cohn 0001, Amar Isli Combining Multiple Representations in a Spatial Reasoning System. Search on Bibsonomy ICTAI The full citation details ... 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
27Moisés Goldszmidt, Paul H. Morris, Judea Pearl A Maximum Entropy Approach to Nonmonotonic Reasoning. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
27Laurent Biusson Reasoning on Space with Object-Centered Knowledge Representations. Search on Bibsonomy SSD The full citation details ... 1989 DBLP  DOI  BibTeX  RDF reasoning dynamicity, Knowledge based systems, spatial reasoning, spaces
27Toshiko Wakaki, Hajime Sawamura, Katsumi Nitta An Integrated System of Semantic Web Reasoning and Argument-Based Reasoning. Search on Bibsonomy AWIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Antonio Morales, Guido Sciavicco Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. Search on Bibsonomy TIME The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Tibor Bosse, Catholijn M. Jonker, Jan Treur Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. Search on Bibsonomy IWINAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Alessandro Armando, Silvio Ranise From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Isabelle Bichindaritz, Emin Kansu, Keith M. Sullivan Case-Based Reasoning in CARE-PARTNER: Gathering Evidence for Evidence-Based Medical Practice. Search on Bibsonomy EWCBR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Abraham Bagherjeiran, Christoph F. Eick Distance Function Learning for Supervised Similarity Assessment. Search on Bibsonomy Case-Based Reasoning on Images and Signals The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Steffen Staab, Ansgar Scherp, Richard Arndt, Raphaël Troncy, Marcin Grzegorzek, Carsten Saathoff, Simon Schenk, Lynda Hardman Semantic Multimedia. Search on Bibsonomy Reasoning Web The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Oliver Ray Automated Abduction in Scientific Discovery. Search on Bibsonomy Model-Based Reasoning in Science, Technology, and Medicine The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Katy Börner CBR for Design. Search on Bibsonomy Case-Based Reasoning Technology The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license