Search results for "Logic Programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Susana Muñoz-Hernández, Juan José Moreno-Navarro	Implementation Results in Classical Constructive Negation.	ICLP	2004	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Optimization, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
5	Susana Muñoz-Hernández, Juan José Moreno-Navarro	A Real Implementation for Constructive Negation.	ICLP	2003	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
5	José Hernández-Orallo, M. José Ramírez-Quintana	A Strong Complete Schmema for Inductive Functional Logic Programming.	ILP	1999	DBLP DOI BibTeX RDF	Function Invention, Induction of Auxiliary Functions, Inverse Narrowing, Inductive Logic Programming, Narrowing, Functional Logic Programming
5	François Fages, Julian Fowler, Thierry Sola	Handling Preferences in Constraint Logic Programming with Relational Optimization.	PLILP	1994	DBLP DOI BibTeX RDF	hierarchical constraint logic programming, optimization, preference, constraint logic programming
4	Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Qualified Computations in Functional Logic Programming.	ICLP	2009	DBLP DOI BibTeX RDF	Constraints, Program Transformation, Rewriting Logic, Functional Logic Programming, Qualification
4	Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner	Modular Nonmonotonic Logic Programming Revisited.	ICLP	2009	DBLP DOI BibTeX RDF	Modular Logic Programming, Knowledge Representation, Answer Set Programming
4	Luc De Raedt	Probabilistic Logic Learning - A Tutorial Abstract.	ICLP	2009	DBLP DOI BibTeX RDF	probabilistic logic learning, logic and learning, logic programming, inductive logic programming, statistical relational learning
4	Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz	Quantitative Logic Programming Revisited.	FLOPS	2008	DBLP DOI BibTeX RDF	Quantitative Logic Programming, Qualification Domains, Qualification Constraints
4	Vítor Santos Costa, David Page, James Cussens	CLP(BN): Constraint Logic Programming for Probabilistic Knowledge.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
4	Luc De Raedt, Kristian Kersting	Probabilistic Inductive Logic Programming.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
4	Paul Tarau, Brenda Luderman	A Logic Programming Framework for Combinational Circuit Synthesis.	ICLP	2007	DBLP DOI BibTeX RDF	logic programming and circuit design, combinatorial object generation, exact combinational circuit synthesis, universal boolean logic libraries, symbolic rewriting, minimal transistor-count circuit synthesis
4	Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluis Godo	Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming.	LPNMR	2005	DBLP DOI BibTeX RDF	Dialectical Reasoning, Logic Programming, Defeasible Argumentation
4	Jesús Manuel Almendros-Jiménez	Constraint logic programming over sets of spatial objects.	WCFLP	2005	DBLP DOI BibTeX RDF	logic programming, CLP
4	José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas	A logic programming approach to the verification of functional-logic programs.	PPDP	2004	DBLP DOI BibTeX RDF	verification, logic programming, functional logic programming
4	Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro	Constructive Intensional Negation.	FLOPS	2004	DBLP DOI BibTeX RDF	Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
4	Gopal Gupta, Enrico Pontelli	Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
4	Peter A. Flach, Nada Lavrac	Learning in Clausal Logic: A Perspective on Inductive Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
4	Marc Denecker, Antonis C. Kakas	Abduction in Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
4	Andrew Davison	Logic Programming Languages for the Internet.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
4	Mark Wallace	Constraint Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
4	Luc De Raedt	Data Mining as Constraint Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
4	Jack Minker, Dietmar Seipel	Disjunctive Logic Programming: A Survey and Assessment.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
4	Luigia Carlucci Aiello, Fabio Massacci	Planning Attacks to Security Protocols: Case Studies in Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
4	Thomas Lukasiewicz	Probabilistic logic programming with conditional constraints.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	conditional constraint, quantitative deduction, computational complexity, logic programming, probability, uncertainty, many-valued logic, probabilistic reasoning, probabilistic logic, probabilistic logic programming
4	César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	Incremental Learning of Functional Logic Programs.	FLOPS	2001	DBLP DOI BibTeX RDF	Inductive functional logic programming (IFLP), incremental learning, theory revision, inductive logic programming (ILP)
4	Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo	Efficient Negation Using Abstract Interpretation.	LPAR	2001	DBLP DOI BibTeX RDF	Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming
4	Kimberly D. Voll, Tom P. Yeh, Verónica Dahl	An assumptive logic programming methodology for parsing.	ICTAI	2000	DBLP DOI BibTeX RDF	assumptive logic programming methodology, continuation based linear assumptions, timeless assumptions, datalog grammars, terse treatments, language processing phenomena, concise parser, numbered word boundaries, left-corner parsing, constituent coordination, AI, logic programming, theorem proving, DATALOG, error correction, grammars, test cases, charting, error diagnosis, proof of concept, logic grammars
4	Paul Tarau, Verónica Dahl	Towards a Logic Programming Infrastructure for Internet Programming.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF	Logic Programming and Internet technologies, first order continuations, Linda coordination, blackboard based logic programming, mobile computations, mobile code, metaprogramming, remote execution, controlled natural language, intelligent mobile agents
4	Michael Leuschel	Improving Homeomorphic Embedding for Online Termination.	LOPSTR	1998	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Logic Programming, Program Analysis, Termination, Well-quasi orders
4	Paul Tarau, Verónica Dahl, Koenraad De Bosschere	A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. (PDF / PS)	WETICE	1997	DBLP DOI BibTeX RDF	BinProlog, intuitionistic implication, strong metaprogramming, high-order call/N, filtering interactors, security, agents, logic programming, logic programming, mobile code, remote execution
4	Bráulio Coelho Ávila, Jair Minoro Abe, José Pacheco de Almeida Prado	ParaLog_e: A Paraconsistent Evidential Logic Programming Language. (PDF / PS)	SCCC	1997	DBLP DOI BibTeX RDF	Paralog e, paraconsistent evidential logic programming language, reasoning automation, formal theories, conflicting beliefs, contradictory information, paraconsistent logic, logic programming languages, inconsistency handling
4	Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov	Complexity and Expressive Power of Logic Programming. (PDF / PS)	IEEE Conference on Computational Complexity	1997	DBLP DOI BibTeX RDF	computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power
4	Uday S. Reddy	Higher-order Aspects of Logic Programming.	ELP	1993	DBLP DOI BibTeX RDF	Higher-order features, semantics, functional programming, types, lambda calculus, concurrent logic programming, logic variables
4	Hamish Taylor	A Lingua Franca For Concurrent Logic Programming.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	concurrent logic programming languages, nonflat guards, GHC, clean semantics, control facilities, lingua franca, execution conditions, parallel programming, logic programming, parallel languages, language translation, Parlog
4	Uday S. Reddy	A Typed Foundation for Directional Logic Programming.	ELP	1992	DBLP DOI BibTeX RDF	Directionality, types, linear logic, sequent calculus, modes, concurrent logic programming, Curry-Howard isomorphism, logic variables
4	Benjamin Bell, Louis-François Pau	Contour Tracking and Corner Detection in a Logic Programming Environment.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	Prolog predicates, logic programming, computerised picture processing, computerised pattern recognition, computerised pattern recognition, unification, backtracking, corner detection, parameter selection, contour tracking, logic programming environment
4	Françoise Debart, Patrice Enjalbert, Madeleine Lescot	Multi-Modal Logic Programming using Equational and Order-Sorted Logic.	ALP	1990	DBLP DOI BibTeX RDF	Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
4	Martin Nilsson, Hidehiko Tanaka	The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages.	LP	1987	DBLP DOI BibTeX RDF	Committed choice, Fleng, GHC, Parallel, Logic Programming, Prolog, Interpreter
4	Kiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Konoh, Takanori Sanetoh, Hiroshi Hagiwara	KPR: A Logic Programming Language-Oriented Parallel Machine.	LP	1987	DBLP DOI BibTeX RDF	Parallel Inference Machine, High-Level Language Machine, Parallel Processing, Logic Programming Language
3	Daniele Genito, Giangiacomo Gerla, Alessandro Vignes	Meta-logic programming for a synonymy logic.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Synonymy logic, Fuzzy logic, Logic programming, Translation
3	Petr Buryan, Jirí Kubalík	Context-sensitive refinements for stochasticoptimization algorithms in inductive logic programming.	GECCO	2010	DBLP DOI BibTeX RDF	evolutionary algorithms, inductive logic programming
3	Zachary Snow, David Baelde, Gopalan Nadathur	A meta-programming approach to realizing dependently typed logic programming.	PPDP	2010	DBLP DOI BibTeX RDF	dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks
3	Zoltan Balogh, Dániel Varró	Model transformation by example using inductive logic programming.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	By-example synthesis, Model transformation, Inductive logic programming
3	Yining Wu, Martin Caminada, Dov M. Gabbay	Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming.	Studia Logica	2009	DBLP DOI BibTeX RDF	abstract argumentation, complete extensions, 3-valued stable models, logic programming
3	Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar	ActionScript bytecode verification with co-logic programming.	PLAS	2009	DBLP DOI BibTeX RDF	ActionScript, coinductive logic programming, in-lined reference monitoring, model checking, verification
3	Hui Wan	Belief Logic Programming.	ICLP	2009	DBLP DOI BibTeX RDF
3	Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang	Logic Programming with Defaults and Argumentation Theories.	ICLP	2009	DBLP DOI BibTeX RDF	Defeasible reasoning, well-founded models, argumentation theory
3	Tran Cao Son, Enrico Pontelli, Chiaki Sakama	Logic Programming for Multiagent Planning with Negotiation.	ICLP	2009	DBLP DOI BibTeX RDF
3	Chris Mungall	Experiences Using Logic Programming in Bioinformatics.	ICLP	2009	DBLP DOI BibTeX RDF
3	Mantas Simkus	Fusion of Logic Programming and Description Logics.	ICLP	2009	DBLP DOI BibTeX RDF
3	Robert A. Kowalski, Fariba Sadri	Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents.	RR	2009	DBLP DOI BibTeX RDF	Abductive logic programming, agents, Integrity constraints, Production systems
3	Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli	Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.	LPNMR	2009	DBLP DOI BibTeX RDF
3	Hui Wan, Michael Kifer	Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence.	LPNMR	2009	DBLP DOI BibTeX RDF
3	Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho, Cristina Vieira, Jorge Vieira	Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach.	IWANN	2009	DBLP DOI BibTeX RDF	Clustering, Inductive Logic Programming
3	Huma Lodhi, Stephen Muggleton, Michael J. E. Sternberg	Multi-class protein fold recognition using large margin logic based divide and conquer learning.	KDD Workshop on Statistical and Relational Learning in Bioinformatics	2009	DBLP DOI BibTeX RDF	protein fold recognition, support vector inductive logic programming, evaluation, support vector machines, bioinformatics, inductive logic programming, multi-class classification
3	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni	Verifiable agent interaction in abductive logic programming: The SCIFF framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Abductive logic programming, IFF proof procedure, SCIFF, SOCS (SOcieties of ComputeeS), formal properties, proof-procedures, declarative semantics, agent interaction protocols
3	Van Hung Le, Fei Liu, Dinh Khang Tran	Fuzzy Linguistic Logic Programming.	ICIC	2008	DBLP DOI BibTeX RDF	hedge algebra, linguistic value, fuzzy logic programming, linguistic hedge
3	Van Hung Le, Fei Liu, Dinh Khang Tran	Fixpoint Semantics and Completeness of the Computational Model for Fuzzy Linguistic Logic Programming.	ICIC	2008	DBLP DOI BibTeX RDF	hedge algebra, linguistic value, completeness, fuzzy logic programming, fixpoint semantics, linguistic hedge
3	Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund	Automatic Coding Rule Conformance Checking Using Logic Programming.	PADL	2008	DBLP DOI BibTeX RDF	Coding rule checking, Declarative domain-specific languages and applications, Logic programming, Programming environments
3	Philip T. Cox, Patrick K. Nicholson	Unification of Arrays in Spreadsheets with Logic Programming.	PADL	2008	DBLP DOI BibTeX RDF	logic programming, Spreadsheet, unification, array
3	Alessandra Mileo, Davide Merico, Roberto Bisiani	A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living.	ICLP	2008	DBLP DOI BibTeX RDF
3	Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello	Verification from Declarative Specifications Using Logic Programming.	ICLP	2008	DBLP DOI BibTeX RDF
3	Marc Denecker, Joost Vennekens	Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic.	ICLP	2008	DBLP DOI BibTeX RDF
3	Vítor Santos Costa	The Life of a Logic Programming System.	ICLP	2008	DBLP DOI BibTeX RDF
3	Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro	Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security.	ICLP	2008	DBLP DOI BibTeX RDF
3	Rui Camacho, Alexessander Alves, Cândida G. Silva, Rui M. M. Brito	On Mining Protein Unfolding Simulation Data with Inductive Logic Programming.	IWPACBB	2008	DBLP DOI BibTeX RDF	Protein Unfolding, Inductive Logic Programming
3	Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.	FLOPS	2008	DBLP DOI BibTeX RDF
3	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta	Mining library specifications using inductive logic programming.	ICSE	2008	DBLP DOI BibTeX RDF	machine learning., verification, datalog, inductive logic programming, software specification
3	Fabrizio Riguzzi	Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics.	ICLP	2008	DBLP DOI BibTeX RDF	Topics Probabilistic Logic Programming, Logic Programs with Annotated Disjunctions, Well Founded Semantics, SLG resolution
3	Alexis Saurin	Towards Ludics Programming: Interactive Proof Search.	ICLP	2008	DBLP DOI BibTeX RDF	Ludics, Proof Normalization, Interaction, Logic Programming, Game Semantics, Proof Search
3	Jianzhong Chen, Lawrence A. Kelley, Stephen Muggleton, Michael J. E. Sternberg	Protein Fold Discovery Using Stochastic Logic Programs.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
3	Pedro Domingos, Stanley Kok, Daniel Lowd, Hoifung Poon, Matthew Richardson, Parag Singla	Markov Logic.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
3	Paolo Frasconi, Andrea Passerini	Learning with Kernels and Logical Representations.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
3	Kristian Kersting, Luc De Raedt	Basic Principles of Learning Bayesian Logic Programs.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
3	David Poole	The Independent Choice Logic and Beyond.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
3	Fabrizio Riguzzi	ALLPAD: approximate learning of logic programs with annotated disjunctions.	Machine Learning	2008	DBLP DOI BibTeX RDF	Logic programs with annotated disjunctions, Inductive logic programming, Statistical relational learning, Probabilistic logic programming
3	Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández	Implementing Constructive Intensional Negation.	New Generation Comput.	2008	DBLP DOI BibTeX RDF	Intensional Negation, Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
3	Mathieu Serrurier, Henri Prade	Improving Expressivity of Inductive Logic Programming by Learning Different Kinds of Fuzzy Rules.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Inductive logic programming, Fuzzy rules
3	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A new generic scheme for functional logic programming with constraints.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Logic programming, Constraints, Functional programming
3	Jorge Coelho, Mário Florido	XCentric: logic programming for XML processing.	WIDM	2007	DBLP DOI BibTeX RDF	logic programming, XML processing
3	Nguyen-Thinh Le, Wolfgang Menzel	Using Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming.	ICWL	2007	DBLP DOI BibTeX RDF	Ill-defined problems, logic programming, ITS, error diagnosis, constraint-based modelling
3	Dong-Bo Liu, Zheng-ding Lu	The Theory of Fuzzy Logic Programming.	ICFIE	2007	DBLP DOI BibTeX RDF	Fuzzy Horn Clauses, Fuzzy Proof Theory, Fuzzy Procedural Interpretation, Fuzzy Logic Programming
3	Alexei A. Morozov	Visual Logic Programming Method Based on Structural Analysis and Design Technique.	ICLP	2007	DBLP DOI BibTeX RDF
3	Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya	Coinductive Logic Programming and Its Applications.	ICLP	2007	DBLP DOI BibTeX RDF
3	Paolo Mancarella, Giacomo Terreni, Francesca Toni	Web Sites Verification: An Abductive Logic Programming Tool.	ICLP	2007	DBLP DOI BibTeX RDF
3	Marcin Czenko, Sandro Etalle	Core TuLiP Logic Programming for Trust Management.	ICLP	2007	DBLP DOI BibTeX RDF
3	Miroslaw Truszczynski	Logic Programming for Knowledge Representation.	ICLP	2007	DBLP DOI BibTeX RDF
3	Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.	ICLP	2007	DBLP DOI BibTeX RDF
3	Margaret M. West	The Use of a Logic Programming Language in the Animation of Z Specifications.	ICLP	2007	DBLP DOI BibTeX RDF
3	Emilia Oikarinen, Tomi Janhunen	A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.	ICLP	2007	DBLP DOI BibTeX RDF
3	Dániel Varró, Zoltan Balogh	Automating model transformation by example using inductive logic programming.	SAC	2007	DBLP DOI BibTeX RDF	by-example synthesis, model transformation, inductive logic programming
3	Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli	The LP-OD System: Logic Programming Meets Outlier Detection.	LPNMR	2007	DBLP DOI BibTeX RDF
3	Phan Huy Tu, Tran Cao Son, Enrico Pontelli	CPP: A Constraint Logic Programming Based Planner with Preferences.	LPNMR	2007	DBLP DOI BibTeX RDF
3	Edgardo Ferretti, Marcelo Errecalde, Alejandro Javier García, Guillermo Ricardo Simari	An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment.	LPNMR	2007	DBLP DOI BibTeX RDF
3	Umberto Straccia	Towards Vague Query Answering in Logic Programming for Logic-Based Information Retrieval.	IFSA	2007	DBLP DOI BibTeX RDF	Logic Programming, Fuzzy, Top-k retrieval
3	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco J. Enciso-Baños	Integrating XQuery and Logic Programming.	INAP/WLP	2007	DBLP DOI BibTeX RDF
3	Jie Wang, Shi-Er Ju, Chunnian Liu	Agent-Oriented Probabilistic Logic Programming.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	agent, uncertainty, agent-oriented programming, probabilistic logic programming
3	Carlos Iván Chesñevar, Ana Gabriela Maguitman, Guillermo Ricardo Simari	Argument-based User Support Systems using Defeasible Logic Programming.	AIAI	2006	DBLP DOI BibTeX RDF	user support systems, logic programming, argumentation, knowledge engineering
3	Reggie Davidrajuh	Logic Programming for Machine Tools.	PROLAMAT	2006	DBLP DOI BibTeX RDF	mathematical approach, Logic programming, machine tools
3	Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta	Coinductive Logic Programming.	ICLP	2006	DBLP DOI BibTeX RDF