Search results for "Abduction"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Andreas Pfandler, Stefan Rümmele, Stefan Szeider	Backdoors to Abduction	CoRR	2013	DBLP BibTeX RDF
16	David L. Poole	Representing Bayesian Networks within Probabilistic Horn Abduction	CoRR	2013	DBLP BibTeX RDF
16	Arpita Chakraborty, Amit Konar, Nikhil R. Pal, Lakhmi C. Jain	Extending the Contraposition Property of Propositional Logic for Fuzzy Abduction.	IEEE Trans. Fuzzy Syst.	2013	DBLP DOI BibTeX RDF
16	Luis Estrada-González	Remarks on some general features of abduction.	J. Log. Comput.	2013	DBLP DOI BibTeX RDF
16	Ari Saptawijaya, Luís Moniz Pereira	Tabled Abduction in Logic Programs.	Theory Pract. Log. Program.	2013	DBLP BibTeX RDF
16	Chiaki Sakama, Katsumi Inoue	Abduction, unpredictability and Garden of Eden.	Log. J. IGPL	2013	DBLP DOI BibTeX RDF
16	Lorenzo Magnani	Is abduction ignorance-preserving? Conventions, models and fictions in science.	Log. J. IGPL	2013	DBLP DOI BibTeX RDF
16	Gianluca Caterina, Rocco Gangle	Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs.	Log. J. IGPL	2013	DBLP DOI BibTeX RDF
16	Koichi Furukawa, Keita Kinjo, Tomonobu Ozaki, Makoto Haraguchi	On Skill Acquisition Support by Analogical Rule Abduction.	ISIP	2013	DBLP DOI BibTeX RDF
16	Calin-Rares Turliuc, Nataly Maimari, Alessandra Russo, Krysia Broda	On Minimality and Integrity Constraints in Probabilistic Abduction.	LPAR	2013	DBLP DOI BibTeX RDF
16	Akinori Abe	Cognitive Chance Discovery: From abduction to affordance and curation.	ICCI*CC	2013	DBLP DOI BibTeX RDF
16	Kazeto Yamamoto, Naoya Inoue, Yotaro Watanabe, Naoaki Okazaki, Kentaro Inui	Discriminative Learning of First-Order Weighted Abduction from Partial Discourse Explanations.	CICLing (1)	2013	DBLP DOI BibTeX RDF
16	P. Spagnol, Christian Klauer, Fabio Previdi, Jörg Raisch, Thomas Schauer	Modeling and online-identification of electrically stimulated antagonistic muscles for horizontal shoulder abduction and adduction.	ECC	2013	DBLP DOI BibTeX RDF
16	Chiaki Sakama	Abduction in Argumentation Frameworks and Its Use in Debate Games.	JSAI-isAI Workshops	2013	DBLP DOI BibTeX RDF
16	Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin	Bi-Abduction with Pure Properties for Specification Inference.	APLAS	2013	DBLP DOI BibTeX RDF
16	Ekaterina Ovchinnikova, Andrew S. Gordon, Jerry R. Hobbs	Abduction for Discourse Interpretation: A Probabilistic Framework.	JSSP	2013	DBLP BibTeX RDF
16	Boyang Li 0002, Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Mooly Sagiv	Synthesis of Circular Compositional Program Proofs via Abduction.	TACAS	2013	DBLP DOI BibTeX RDF
16	Ari Saptawijaya, Luís Moniz Pereira	Towards Practical Tabled Abduction in Logic Programs.	EPIA	2013	DBLP DOI BibTeX RDF
16	Johannes Schmidt 0001, Michal Wrona	The Complexity of Abduction for Equality Constraint Languages.	CSL	2013	DBLP DOI BibTeX RDF
16	Flavio Zelazek	Dual Aspects of Abduction and Induction.	AIC@AI*IA	2013	DBLP BibTeX RDF
16	Christoph Wernhard	Abduction in Logic Programming as Second-Order Quantifier Elimination.	FroCos	2013	DBLP DOI BibTeX RDF
16	Andreas Pfandler, Stefan Rümmele, Stefan Szeider	Backdoors to Abduction.	IJCAI	2013	DBLP BibTeX RDF
16	Anahita Nafissi	Applying Markov logics for controlling abox abduction.		2013	RDF
16	Richard J. Ormerod	On abduction: a response to Mingers.	J. Oper. Res. Soc.	2012	DBLP DOI BibTeX RDF
16	John Mingers	Abduction: the missing link between deduction and induction. A comment on Ormerod's 'rational inference: deductive, inductive and probabilistic thinking'.	J. Oper. Res. Soc.	2012	DBLP DOI BibTeX RDF
16	Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan	Towards Practical ABox Abduction in Large Description Logic Ontologies.	Int. J. Semantic Web Inf. Syst.	2012	DBLP DOI BibTeX RDF
16	Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001	A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials.	Comput. Math. Appl.	2012	DBLP DOI BibTeX RDF
16	Paulo Shakarian, John P. Dickerson, V. S. Subrahmanian	Adversarial Geospatial Abduction Problems.	ACM Trans. Intell. Syst. Technol.	2012	DBLP DOI BibTeX RDF
16	Andrea Bobbio, Stefania Montani, Luigi Portinale	Parametric Dependability Analysis through Probabilistic Horn Abduction	CoRR	2012	DBLP BibTeX RDF
16	John Woods	Cognitive Economics and the Logic of Abduction.	Rev. Symb. Log.	2012	DBLP DOI BibTeX RDF
16	Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001	Complexity Classifications for Propositional Abduction in Post's Framework.	J. Log. Comput.	2012	DBLP DOI BibTeX RDF
16	Marcelo Finger	Towards automated first-order abduction: the cut-based approach.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
16	Lorenzo Magnani, Walter Alexandre Carnielli, Claudio Pizzi	Special Issue: Formal Representations in Model-based Reasoning and Abduction.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
16	Peter D. Bruza, Kirsty Kitto, Brentyn J. Ramm, Laurianne Sitbon, Dawei Song 0001, Simon P. Blomberg	Quantum-like non-separability of concept combinations, emergent associates and abduction.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
16	Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández-Duque	Tableaux for structural abduction.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
16	María G. Navarro, Noemí de Haro-Garcia	Cognitive Abduction and the Study of Visual Culture.	Philosophy and Cognitive Science	2012	DBLP DOI BibTeX RDF
16	Claudio Pizzi	A Proposal on Belief, Abduction and Interpretation.	Philosophy and Cognitive Science	2012	DBLP DOI BibTeX RDF
16	Akinori Abe	Cognitive Chance Discovery: From Abduction to Affordance.	Philosophy and Cognitive Science	2012	DBLP DOI BibTeX RDF
16	Valerio Genovese, Deepak Garg 0001, Daniele Rispoli	Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction.	CSF	2012	DBLP DOI BibTeX RDF
16	Matko Botincan, Mike Dodds, Suresh Jagannathan	Resource-sensitive synchronization inference by abduction.	POPL	2012	DBLP DOI BibTeX RDF
16	Marco Alberti 0001, Marco Gavanelli, Evelina Lamma	Deon + : Abduction and Constraints for Normative Reasoning.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
16	Ralf Klabunde, Sebastian Reuße, Björn Schlünder	Abduction in Games for a Flexible Approach to Discourse Planning.	CICLing (2)	2012	DBLP DOI BibTeX RDF
16	Yanwei Ma, Tianlong Gu, Binbin Xu, Liang Chang 0003	An ABox Abduction Algorithm for the Description Logic ALCI.	Intelligent Information Processing	2012	DBLP DOI BibTeX RDF
16	Claudiu Pozna, Radu-Emil Precup	A general formulation of abduction algorithms.	CogInfoCom	2012	DBLP DOI BibTeX RDF
16	Ken Halland, Katarina Britz	ABox abduction in ALC using a DL tableau.	SAICSIT	2012	DBLP DOI BibTeX RDF
16	Michael R. Fellows, Andreas Pfandler, Frances A. Rosamond, Stefan Rümmele	The Parameterized Complexity of Abduction.	AAAI	2012	DBLP DOI BibTeX RDF
16	Akinori Abe	Chance discovery and black swan: from the viewpoint of abduction and affordance.	KES	2012	DBLP BibTeX RDF
16	Naoya Inoue, Ekaterina Ovchinnikova, Kentaro Inui, Jerry R. Hobbs	Coreference Resolution with ILP-based Weighted Abduction.	COLING	2012	DBLP BibTeX RDF
16	Naoya Inoue, Kentaro Inui	Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference.	JELIA	2012	DBLP DOI BibTeX RDF
16	Ken Halland, Katarina Britz	Naive ABox abduction in ALC using a DL tableau.	Description Logics	2012	DBLP BibTeX RDF
16	Enrico Franconi, Nhung Ngo, Evgeny Sherkhonov	The Definability Abduction Problem for Data Exchange - (Abstract).	RR	2012	DBLP DOI BibTeX RDF
16	Michele Ruta, Eugenio Di Sciascio, Floriano Scioscia	Concept abduction and contraction in semantic-based P2P environments.	Web Intell. Agent Syst.	2011	DBLP DOI BibTeX RDF
16	Masakazu Ishihata, Taisuke Sato	Bayesian inference for statistical abduction using Markov chain Monte Carlo.	ACML	2011	DBLP BibTeX RDF
16	Daniel G. Campos	On the distinction between Peirce's abduction and Lipton's Inference to the best explanation.	Synth.	2011	DBLP DOI BibTeX RDF
16	Taisuke Sato, Masakazu Ishihata, Katsumi Inoue	Constraint-based probabilistic modeling for statistical abduction.	Mach. Learn.	2011	DBLP DOI BibTeX RDF
16	Kweku-Muata Osei-Bryson, Ojelanki K. Ngwenyama	Using decision tree modelling to support Peircian abduction in IS research: a systematic approach for generating and evaluating hypotheses for systematic theory development.	Inf. Syst. J.	2011	DBLP DOI BibTeX RDF
16	Paulo Shakarian, V. S. Subrahmanian, Maria Luisa Sapino	GAPs: Geospatial Abduction Problems.	ACM Trans. Intell. Syst. Technol.	2011	DBLP DOI BibTeX RDF
16	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang	Compositional Shape Analysis by Means of Bi-Abduction.	J. ACM	2011	DBLP DOI BibTeX RDF
16	Franz Wotawa	On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems.	Int. J. Agric. Environ. Inf. Syst.	2011	DBLP DOI BibTeX RDF
16	Cassiano Terra Rodrigues	The Method of Scientific Discovery in Peirce's Philosophy: Deduction, Induction, and Abduction.	Logica Universalis	2011	DBLP DOI BibTeX RDF
16	Bruno Zanuttini	New Polynomial Classes for Logic-Based Abduction	CoRR	2011	DBLP BibTeX RDF
16	Katsumi Inoue, Chiaki Sakama, Lena Wiese	Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction	CoRR	2011	DBLP BibTeX RDF
16	Szymon Klarman, Ulle Endriss, Stefan Schlobach	ABox Abduction in the Description Logic ALC.	J. Autom. Reason.	2011	DBLP DOI BibTeX RDF
16	Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt	Diagnosing and correcting design inconsistencies in source code with logical abduction.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
16	Stathis Psillos	An Explorer upon Untrodden Ground: Peirce on Abduction.	Inductive Logic	2011	DBLP DOI BibTeX RDF
16	Paulo Shakarian, V. S. Subrahmanian	Region-Based Geospatial Abduction with Counter-IED Applications.	Counterterrorism and Open Source Intelligence	2011	DBLP DOI BibTeX RDF
16	John Woods	Abduction and Proof: A Criminal Paradox.	Approaches to Legal Rationality	2011	DBLP DOI BibTeX RDF
16	Louis-Alexis Allen Demers, Clément Gosselin	Kinematic design of a planar and spherical mechanism for the abduction of the fingers of an anthropomorphic robotic Hand.	ICRA	2011	DBLP DOI BibTeX RDF
16	Lukasz Stafiniak	Joint Constraint Abduction Problems.	UNIF	2011	DBLP BibTeX RDF
16	Yiyun Lan, Jun Yao, Julius P. A. Dewald	The impact of shoulder abduction loading on EMG-based intention detection of hand opening and closing after stroke.	EMBC	2011	DBLP DOI BibTeX RDF
16	Tanapon Tantisripreecha, Nuanwan Soonthornphisaj	Creating Rules Using Abduction for Legal Reasoning by Logic Programming.	BIS (Workshops)	2011	DBLP DOI BibTeX RDF
16	Martin Kuba	Automated trust negotiation in identity federations using OWL-based abduction of missing credentials.	ICITST	2011	DBLP BibTeX RDF
16	Cristian Molinaro, Amy Sliva, V. S. Subrahmanian	Abduction in Annotated Probabilistic Temporal Logic.	ICLP (Technical Communications)	2011	DBLP DOI BibTeX RDF
16	James Blythe, Jerry R. Hobbs, Pedro M. Domingos, Rohit J. Kate, Raymond J. Mooney	Implementing Weighted Abduction in Markov Logic.	ICWS	2011	DBLP BibTeX RDF
16	Naoya Inoue, Kentaro Inui	ILP-Based Reasoning for Weighted Abduction.	Plan, Activity, and Intent Recognition	2011	DBLP BibTeX RDF
16	Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan	Towards Practical ABox Abduction in Large OWL DL Ontologies.	AAAI	2011	DBLP DOI BibTeX RDF
16	Benjamin A. Kent, Erik D. Engeberg	Robotic hand biomimicry: The effect of finger force and position abduction feedback during contour interaction.	ROBIO	2011	DBLP DOI BibTeX RDF
16	Nikos Gorogiannis, Max I. Kanovich, Peter W. O'Hearn	The Complexity of Abduction for Separated Heap Abstractions.	SAS	2011	DBLP DOI BibTeX RDF
16	Grégoire Lejay, Katsumi Inoue, Andrei Doncescu	Application of Meta-level Abduction for the Treatment of Hypertension Using SOLAR.	AINA Workshops	2011	DBLP DOI BibTeX RDF
16	Samy Sá, João F. L. Alcântara	Abduction-Based Search for Cooperative Answers.	CLIMA	2011	DBLP DOI BibTeX RDF
16	Jamal Atif, Céline Hudelot, Isabelle Bloch	Abduction in Description Logics using Formal Concept Analysis and Mathematical Morphology: Application to Image Interpretation.	CLA	2011	DBLP BibTeX RDF
16	Thomas Hubauer, Steffen Lamparter, Michael Pirker	Relaxed Abduction: Robust Information Interpretation for Incomplete Models.	Description Logics	2011	DBLP BibTeX RDF
16	Diego Calvanese, Magdalena Ortiz 0001, Mantas Simkus, Giorgio Stefanoni	The Complexity of Conjunctive Query Abduction in DL-Lite.	Description Logics	2011	DBLP BibTeX RDF
16	Chiaki Sakama	Dishonest Reasoning by Abduction.	IJCAI	2011	DBLP DOI BibTeX RDF
16	Emad A. M. Andrews, Anthony J. Bonner	Explaining Genetic Knock-Out Effects Using Cost-Based Abduction.	IJCAI	2011	DBLP DOI BibTeX RDF
16	Jacob Crossman, Michael Quist, Richard Frederiksen, Pat McLaughlin	Top-down abduction for behavior detection in GMTI data.	FUSION	2011	DBLP BibTeX RDF
16	Samy Sá, João F. L. Alcântara	Abduction guided query relaxation.	AAMAS	2011	DBLP BibTeX RDF
16	Samy Sá	Group decision making in multiagent systems with abduction.	AAMAS	2011	DBLP BibTeX RDF
16	Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer	Programming mental state abduction.	AAMAS	2011	DBLP BibTeX RDF
16	Saratha Sathasivam	Abduction in Neuro Symbolic Integration.	BIC-TA	2011	DBLP DOI BibTeX RDF
16	Antonis C. Kakas	Abduction.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
16	Imtiaz A. Khan, Mohd. Asghar	Ergonomic evaluation of the angle of abduction in a computer numerically controlled electro discharge machine environment.	Cogn. Technol. Work.	2010	DBLP DOI BibTeX RDF
16	Miki Hermann, Reinhard Pichler	Counting complexity of propositional abduction.	J. Comput. Syst. Sci.	2010	DBLP DOI BibTeX RDF
16	Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001	Complexity Classifications for Propositional Abduction in Post's Framework	CoRR	2010	DBLP BibTeX RDF
16	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Tractable database design and datalog abduction through bounded treewidth.	Inf. Syst.	2010	DBLP DOI BibTeX RDF
16	Nabila Khodeir, Nayer M. Wanas, Nevin Mahmoud Darwish, Nadia Hegazy	Inferring the Differential Student Model in a Probabilistic Domain Using Abduction inference in Bayesian networks.	EDM	2010	DBLP BibTeX RDF
16	Viet-Hoang Vu, Nhan Le Thanh	Concept abduction for semantic matchmaking in distributed and modular ontologies.	OM	2010	DBLP BibTeX RDF
16	Aruna Chakraborty, Amit Konar, Atulya K. Nagar	A structured approach to fuzzy abduction based on contraposition property of propositional logic.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
16	Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet	Towards Efficient Multi-agent Abduction Protocols.	LADS	2010	DBLP DOI BibTeX RDF
16	Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet	Abduction of distributed theories through local interactions.	ECAI	2010	DBLP DOI BibTeX RDF