Search results for "abduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget	AQL: A Query Language for Action Domains Modelled Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
12	Dino Distefano	Attacking Large Industrial Code with Bi-abductive Inference.	FMICS	2009	DBLP DOI BibTeX RDF
12	Lorenzo Masia, Nestor Nava Rodriguez, Maura Casadio, Pietro G. Morasso, Giulio Sandini, Psiche Giannoni	Adaptive Training Strategy of Distal Movements by Means of a Wrist-Robot.	ACHI	2009	DBLP DOI BibTeX RDF
12	Shirley Gregor	Building theory in the sciences of the artificial.	DESRIST	2009	DBLP DOI BibTeX RDF	philosophy of technology, practical sciences, sciences of the artificial, theory, design science, philosophy of science, theory building
12	Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang 0002	Integrating answer set programming and constraint logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30, 68T20, 03B70
12	Koichi Koganezawa, Yasutaka Ishizuka	Novel mechanism of artificial finger using double planetary gear system.	IROS	2008	DBLP DOI BibTeX RDF
12	G. Eliezer Quintana, Luis Enrique Sucar, Gildardo Azcárate, Ron S. Leder	Qualification of arm gestures using hidden Markov models.	FG	2008	DBLP DOI BibTeX RDF
12	Kiyotaka Takahashi, Aki Sugiyama, Yoshiki Shimomura, Takeshi Tateyama, Ryosuke Chiba, Masaharu Yoshioka, Hideaki Takeda 0001	Web-Based Knowledge Database Construction Method for Supporting Design.	PAKM	2008	DBLP DOI BibTeX RDF	Ontology, Analogy, Knowledge Extraction, Creative Design
12	Jun Wang, Haojiang Deng, Qin Yan, Jinlin Wang 0001	A Collaborative Model of Low-Level and High-Level Descriptors for Semantics-Based Music Information Retrieval.	Web Intelligence	2008	DBLP DOI BibTeX RDF
12	Kiyotaka Takahashi, Aki Sugiyama, Yoshiki Shimomura, Takeshi Tateyama, Ryosuke Chiba, Masaharu Yoshioka, Hideaki Takeda 0001	Web-based knowledge database construction method for supporting design.	iiWAS	2008	DBLP DOI BibTeX RDF	ontology, analogy, knowledge extraction, creative design
12	Yu Zhang, Jiafan Zhang, Yi-ming Dong, Canjun Yang, Ying Chen, Jian-hua Li, Tao Wu	A Novel 3-DOF HIP Exoskeleton for Kinematically Establishing Animal Model of Avascular Necrosis of the Femoral Head.	RAM	2008	DBLP DOI BibTeX RDF
12	Maria Eunice Quilici González, Mariana Claudia Broens, Fabricio Loffredo D'Ottaviano	Abductive Reasoning, Information, and Mechanical Systems.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
12	Ruben Carlo Benante, Leonardo Marquez Pedro, Leandro Cuenca Massaro, Valdinei Luís Belini, Aluízio F. R. Araújo, Glauco Augusto de Paula Caurin	A self-organizing state trajectory planner applied to an anthropomorphic robot hand.	IROS	2007	DBLP DOI BibTeX RDF
12	Priscila Machado Vieira Lima, M. Mariela Morveli-Espinoza, Felipe M. G. França	Logic as Energy: A SAT-Based Approach.	BVAI	2007	DBLP DOI BibTeX RDF	ARQ-PROP II, higher-order neural networks, propositional reasoner, satyrus, satisfiability
12	Adrien Revault d'Allonnes, Herman Akdag, Bernadette Bouchon-Meunier	Selecting Implications in Fuzzy Abductive Problems.	FOCI	2007	DBLP DOI BibTeX RDF
12	William A. Pike, Richard May 0001, Alan Turner	Supporting Knowledge Transfer through Decomposable Reasoning Artifacts.	HICSS	2007	DBLP DOI BibTeX RDF
12	Luís Moniz Pereira, Gonçalo Lopes	Prospective Logic Agents.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
12	Simon Colton, Stephen H. Muggleton	Mathematical applications of inductive logic programming.	Mach. Learn.	2006	DBLP DOI BibTeX RDF
12	Gary Klein, Brian M. Moon, Robert R. Hoffman	Making Sense of Sensemaking 2: A Macrocognitive Model.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	fixation bias, confirmation bias, inference-making, frames, mental models, causal reasoning
12	Akinori Abe, Hiromi Itoh Ozaku, Noriaki Kuwahara, Kiyoshi Kogure	Cooperation Between Abductive and Inductive Nursing Risk Management.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
12	Akinori Abe, Hiromi Itoh Ozaku, Noriaki Kuwahara, Kiyoshi Kogure	Relation Between Abductive and Inductive Types of Nursing Risk Management.	JSAI	2006	DBLP DOI BibTeX RDF
12	Philippe Besnard, Marie-Odile Cordier, Yves Moinard	Configurations for Inference Between Causal Statements.	KSEM	2006	DBLP DOI BibTeX RDF
12	Branislav Jaramaz, Kort Eckman	2D/3D Registration for Measurement of Implant Alignment After Total Hip Replacement.	MICCAI (2)	2006	DBLP DOI BibTeX RDF	hip replacement, THR, THA, mutual information, registration, radiograph
12	Antonis C. Kakas, Pavlos Moraitis	Adaptive agent negotiation via argumentation.	AAMAS	2006	DBLP DOI BibTeX RDF	negotiation, argumentation
12	Luc De Raedt	Statistical Relational Learning: An Inductive Logic Programming Perspective.	PKDD	2005	DBLP DOI BibTeX RDF
12	Yingxu Wang	The cognitive processes of abstraction and formal inferences.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
12	Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Simona Colucci	Automated semantic web services orchestration via concept covering.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	semantic web, semantic web services, description logics, orchestration
12	Gerhard Brewka	Preferences in Answer Set Programming.	CAEPIA	2005	DBLP DOI BibTeX RDF
12	Daniel Marcu, Ana-Maria Popescu	Towards Developing Probabilistic Generative Models for Reasoning with Natural Language Representations.	CICLing	2005	DBLP DOI BibTeX RDF
12	Argyris Arnellos, Spyros Vosinakis	Emergence of Representational Structures in Virtual Agents.	IVA	2005	DBLP DOI BibTeX RDF
12	Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci	Fully Automated Web Services Orchestration in a Resource Retrieval Scenario.	ICWS	2005	DBLP DOI BibTeX RDF
12	Hiroshi Sasaki 0004, Naohiro Ishii	Study on the Velocity of Saccadic Eye Movements.	KES (1)	2005	DBLP DOI BibTeX RDF
12	Lorenzo Magnani	Chance Discovery and the Disembodiment of Mind.	KES (1)	2005	DBLP DOI BibTeX RDF
12	Henning Christiansen 0001, Verónica Dahl	Meaning in Context.	CONTEXT	2005	DBLP DOI BibTeX RDF
12	Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre	Argumentation for Access Control.	AI*IA	2005	DBLP DOI BibTeX RDF
12	Hiroshi Kobayashi, Kazuaki Hiramatsu	Development of Muscle Suit for Upper Limb.	ICRA	2004	DBLP DOI BibTeX RDF
12	Mariko Sasakura, Susumu Yamasaki	Visualization with Hierarchically Structured Trees for an Explanation Reasoning System.	IV	2004	DBLP DOI BibTeX RDF
12	Ferenc Kahlesz, Gabriel Zachmann, Reinhard Klein	Visual-Fidelity? Dataglove Calibration.	Computer Graphics International	2004	DBLP DOI BibTeX RDF
12	Mary Keeler	Using Brandom's Framework to Do Peirce's Normative Science: Pragmatism as the Game of Harmonizing Assertions?	ICCS	2004	DBLP DOI BibTeX RDF
12	Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies.	Global Computing	2004	DBLP DOI BibTeX RDF
12	Liming Wang, Houkuan Huang, Yumei Chai	Speculative Computation with Deadline and Its Resource Negotiation under Time Constraints.	IAT	2004	DBLP DOI BibTeX RDF
12	Rocío Díaz de León, Luis Enrique Sucar	A Graphical Model for Human Activity Recognition.	CIARP	2004	DBLP DOI BibTeX RDF
12	Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta	The PLP System.	JELIA	2004	DBLP DOI BibTeX RDF
12	Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta	Computing Preferred Answer Sets in Answer Set Programming.	LPAR	2003	DBLP DOI BibTeX RDF
12	Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue	SOLAR: A Consequence Finding System for Advanced Reasoning.	TABLEAUX	2003	DBLP DOI BibTeX RDF
12	Ken Satoh, Philippe Codognet, Hiroshi Hosobe	Speculative Constraint Processing in Multi-agent Systems.	PRIMA	2003	DBLP DOI BibTeX RDF
12	Simon Colton, Stephen H. Muggleton	ILP for Mathematical Discovery.	ILP	2003	DBLP DOI BibTeX RDF
12	Antonis C. Kakas, Pavlos Moraitis	Argumentation based decision making for autonomous agents.	AAMAS	2003	DBLP DOI BibTeX RDF	agents, decision making, argumentation
12	Floriana Esposito, Stefano Ferilli, Nicola Fanizzi, Teresa Maria Altomare Basile, Nicola Di Mauro	Cooperation of Multiple Strategies for Automated Learning in Complex Environments.	ISMIS	2002	DBLP DOI BibTeX RDF
12	James Cussens	Issues in Learning Language in Logic.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
12	Hisashi Hayashi, Kenta Cho 0001, Akihiko Ohsuga	Logic Programming for Agents.	PRICAI	2002	DBLP DOI BibTeX RDF
12	Katsumi Inoue, Chiaki Sakama	Disjunctive Explanations.	ICLP	2002	DBLP DOI BibTeX RDF
12	Henning Christiansen 0001	Logical Grammars Based on Constraint Handling Rules.	ICLP	2002	DBLP DOI BibTeX RDF
12	Henning Christiansen 0001, Verónica Dahl	Logic Grammars for Diagnosis and Repair.	ICTAI	2002	DBLP DOI BibTeX RDF
12	Thom W. Frühwirth, Slim Abdennadher	Tutorial: Reasoning with, about and for Constraint Handling Rules.	FroCoS	2002	DBLP DOI BibTeX RDF
12	Ken Satoh, Keiji Yamamoto	Speculative computation with multi-agent belief revision.	AAMAS	2002	DBLP DOI BibTeX RDF
12	Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	A Multi-adjoint Logic Approach to Abductive Reasoning.	ICLP	2001	DBLP DOI BibTeX RDF
12	Antonis C. Kakas, Rob Miller 0002, Francesca Toni	E-RES: Reasoning about Actions, Events and Observations.	LPNMR	2001	DBLP DOI BibTeX RDF
12	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability.	IJCAR	2001	DBLP DOI BibTeX RDF
12	Hendrik Decker	Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases.	Semantics in Databases	2001	DBLP DOI BibTeX RDF
12	Andrea Zisman, Alexander Kozlenkov	Knowledge Base Approach to Consistency Management of UML Specification.	ASE	2001	DBLP DOI BibTeX RDF
12	Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer	An Analysis-Revision Cycle to Evolve Requirements Specifications.	ASE	2001	DBLP DOI BibTeX RDF
12	Naohiro Matsumura, Yukio Ohsawa	Combination Retrieval for Creating Knowledge from Sparse Document Collection.	Discovery Science	2000	DBLP DOI BibTeX RDF
12	Yun Peng	Modeling Agent Systems by Bayesian Belief Networks.	FAABS	2000	DBLP DOI BibTeX RDF
12	Akihiro Yamamoto, Bertram Fronhöfer	Hypotheses Finding via Residue Hypotheses with the Resolution Principle.	ALT	2000	DBLP DOI BibTeX RDF
12	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
12	Nikolay Pelov, Maurice Bruynooghe	Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.	LPAR	1999	DBLP DOI BibTeX RDF
12	Saso Dzeroski, James Cussens, Suresh Manandhar	An Introduction to Inductive Logic Programming and Learning Language in Logic.	Learning Language in Logic	1999	DBLP DOI BibTeX RDF
12	Tim Menzies, Steve M. Easterbrook, Bashar Nuseibeh, Sam Waugh	An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering.	RE	1999	DBLP DOI BibTeX RDF
12	Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni	An Implementation for Abductive Logic Agents.	AI*IA	1999	DBLP DOI BibTeX RDF
12	Hendrik Decker	Some Notes on Knowledge Assimilation in Deductive Databases.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
12	Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker	Detecting Unsolvable Queries for Definite Logic Programs.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
12	Alex Kean	A Characterization of Contrastive Explanations Computation.	PRICAI	1998	DBLP DOI BibTeX RDF
12	Antonis C. Kakas, Evelina Lamma, Fabrizio Riguzzi	Learning Multiple Predicates.	AIMSA	1998	DBLP DOI BibTeX RDF
12	Jia-Huai You, Li-Yan Yuan, Randy Goebel	An Abductive Semantics for Disjunctive Logic Programs and Its Proof Procedure.	FSTTCS	1997	DBLP DOI BibTeX RDF
12	Chandrabose Aravindan	An Abductive Framework for Negation in Disjunctive Logic Programming.	JELIA	1996	DBLP DOI BibTeX RDF
12	Raúl Monroy, Alan Bundy, Andrew Ireland	Proof Plans for the Correction of False Conjectures.	LPAR	1994	DBLP DOI BibTeX RDF
12	Gabriele Paul	Approaches to abductive reasoning: an overview.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF
12	Stephen H. Muggleton	Inductive Logic Programming: Derivations, Successes and Shortcomings.	ECML	1993	DBLP DOI BibTeX RDF
12	Peter Jackson	Computing Prime Implicates.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF