Search results for "reasoning"

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