Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Laurent Fribourg	A New Presburger Arithmetic Decision Procedure Based on Extended Prolog Execution.	PLILP	1990	DBLP DOI BibTeX RDF
18	Egon Börger	A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation.	MFCS	1990	DBLP DOI BibTeX RDF
18	Arie de Bruin, Erik P. de Vink	Retractions in Comparing Prolog Semantics (Extended Abstract).	MFCS	1990	DBLP DOI BibTeX RDF
18	Péter Kacsuk	Prolog Implementations on Parallel Computers.	CONPAR	1990	DBLP DOI BibTeX RDF
18	Benjamin Yu	Parallelism via Speculation in Pure Prolog.	ICCI	1990	DBLP DOI BibTeX RDF
18	Igor Durdanovic	A Fast Garbage Collection Algorithm for WAM-Based Prolog.	CSL	1990	DBLP DOI BibTeX RDF
18	Naoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka	Table-Driven Bottom Up Parser in Prolog.	LP	1989	DBLP DOI BibTeX RDF
18	Egon Börger	A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control.	CSL	1989	DBLP DOI BibTeX RDF
18	Milind Gandhe, G. Venkatesh	Improving Prolog Performance by Inductive Proof Generalizations.	KBCS	1989	DBLP DOI BibTeX RDF
18	Jörg Hudelmaier	A Decision Procedure for Propositional N-Prolog.	ELP	1989	DBLP DOI BibTeX RDF
18	Klaus Drosten	Translating Algebraic Specifications to Prolog Programs: A Comparative Study.	ALP	1988	DBLP DOI BibTeX RDF
18	Annie Despland, Monique Mazaud, Raymond Rakotozafy	An Implementation of Retargetable Code Generators in Prolog.	PLILP	1988	DBLP DOI BibTeX RDF
18	Pedro Rangel Henriques	A Semantic Evaluator Generating System in Prolog.	PLILP	1988	DBLP DOI BibTeX RDF
18	Jean-François Monin	A Compiler Written in Prolog: The Véda Experience.	PLILP	1988	DBLP DOI BibTeX RDF
18	Roland Dietrich, Frank Hagl	A Polymorphic Type System with Subtypes for Prolog.	ESOP	1988	DBLP DOI BibTeX RDF
18	Lutz Plümer	Predicate Inequalities as a Basis for Automated Termination Proofs for Prolog Programs.	CSL	1988	DBLP DOI BibTeX RDF
18	Stefan Lüttringhaus	An Interpreter with Lazy Evaluation for Prolog with Functions.	CSL	1988	DBLP DOI BibTeX RDF
18	Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu	Introduction of a Package System into Prolog.	LP	1987	DBLP DOI BibTeX RDF
18	Paola Mello, Antonio Natali	Programs as Collections of Communicating Prolog Units.	ESOP	1986	DBLP DOI BibTeX RDF
18	Patrice Boizumault	A Classical Implementation for Prolog-II.	ESOP	1986	DBLP DOI BibTeX RDF
18	Yasubumi Sakakibara	Programming in Modal Logic: An Extension of PROLOG based on Modal Logic.	LP	1986	DBLP DOI BibTeX RDF
18	Mitsuhiro Kishimoto, Tsuyoshi Shinogi, Yasunori Kimura, Akira Hattori	Design and Evaluation of a Prolog Compiler.	LP	1985	DBLP DOI BibTeX RDF
18	J. M. Choi, M. S. Song, K. J. Jeong, H. C. Kwon, S. Y. Han, Yung Taek Kim	A Prolog-Based Korean-English Machine Translation System and Its Efficient Method of Dictionary Management.	LP	1985	DBLP DOI BibTeX RDF
18	Satoru Tomura	TDProlog: An Extended Prolog with Term Description.	LP	1985	DBLP DOI BibTeX RDF
18	Matthias Jarke, James Clifford, Yannis Vassiliou	An Optimizing Prolog Front-End to a Relational Query System.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
18	Gábor Belovári, John A. Campbell	Generating Contours of Integration: An Application of Prolog in Symbolic Computing.	CADE	1980	DBLP DOI BibTeX RDF
14	David Vaz, Vítor Santos Costa, Michel Ferreira	User Defined Indexing.	ICLP	2009	DBLP DOI BibTeX RDF
14	Paul Fodor	Research Summary: Tabled Evaluation for Transaction Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
14	Agostino Dovier, Enrico Pontelli	Present and Future Challenges for ASP Systems.	LPNMR	2009	DBLP DOI BibTeX RDF
14	Daniel A. Sadilek, Guido Wachsmuth	Using Grammarware Languages to Define Operational Semantics of Modelled Languages.	TOOLS (47)	2009	DBLP DOI BibTeX RDF
14	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
14	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva 0001, Ricardo Rocha 0001	An Improved Continuation Call-Based Implementation of Tabling.	PADL	2008	DBLP DOI BibTeX RDF	Performance, Program transformation, Implementation, Tabled logic programming
14	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
14	Lars Bollen, Adam Giemza, Heinz Ulrich Hoppe	Flexible Analysis of User Actions in Heterogeneous Distributed Learning Environments.	EC-TEL	2008	DBLP DOI BibTeX RDF	Collaboration analysis, discussion support, mobile devices, design rationale, tuple spaces
14	Bart Demoen, Phuong-Lan Nguyen	Two WAM Implementations of Action Rules.	ICLP	2008	DBLP DOI BibTeX RDF
14	Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha 0001, Bart Demoen, Luc De Raedt	On the Efficient Execution of ProbLog Programs.	ICLP	2008	DBLP DOI BibTeX RDF
14	Jens Otten	leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions).	IJCAR	2008	DBLP DOI BibTeX RDF
14	Veena S. Mellarkod, Michael Gelfond	Integrating Answer Set Reasoning with Constraint Solving Techniques.	FLOPS	2008	DBLP DOI BibTeX RDF
14	Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).	FLOPS	2008	DBLP DOI BibTeX RDF
14	Alain Colmerauer	Back to the Complexity of Universal Programs.	CP	2008	DBLP DOI BibTeX RDF
14	Pedro J. Morcillo, Ginés Moreno	Programming with Fuzzy Logic Rules by Using the FLOPER Tool.	RuleML	2008	DBLP DOI BibTeX RDF	Rule-Based Environments, Fuzzy Logic Programming
14	Beata Sarna-Starosta, C. R. Ramakrishnan 0001	Compiling Constraint Handling Rules for Efficient Tabled Evaluation.	PADL	2007	DBLP DOI BibTeX RDF
14	Alan H. Bond	BAD, a Declarative Logic-Based Language for Brain Modeling.	PADL	2007	DBLP DOI BibTeX RDF
14	Handong Mao, Weiming Zhang	An Approach for Network Security Analysis Using Logic Exploitation Graph.	CIT	2007	DBLP DOI BibTeX RDF
14	Anderson Faustino da Silva, Vítor Santos Costa	Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System.	ICLP	2007	DBLP DOI BibTeX RDF
14	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
14	Boniface Hicks, Sandra Julieta Rueda, Luke St. Clair, Trent Jaeger, Patrick D. McDaniel	A logical specification and analysis for SELinux MLS policy.	SACMAT	2007	DBLP DOI BibTeX RDF	policy compliance, SELinux, policy analysis, multi-level security
14	Stefan Weinbrenner, Adam Giemza, Heinz Ulrich Hoppe	Engineering Heterogeneous Distributed Learning Environments Using Tuple Spaces as an Architectural Platform.	ICALT	2007	DBLP DOI BibTeX RDF
14	Zoltan Somogyi, Konstantinos Sagonas	Tabling in Mercury: Design and Implementation.	PADL	2006	DBLP DOI BibTeX RDF
14	Andrea Formisano 0001, Eugenio G. Omodeo, Ewa Orlowska	An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF	translation methods, modal logic, Relational systems
14	Elnar Hajiyev, Neil Ongkingco, Pavel Avgustinov, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere	Datalog as a pointcut language in aspect-oriented programming.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	pointcut sematics, aspect-oriented programming, datalog, semantic pointcuts
14	Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo	A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.	FLOPS	2006	DBLP DOI BibTeX RDF	Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order
14	João Leite 0001, Luís Soares	Adding Evolving Abilities to a Multi-Agent System.	CLIMA	2006	DBLP DOI BibTeX RDF
14	Thi-Bich-Hanh Dao, Khalil Djelloul	Solving First-Order Constraints in the Theory of the Evaluated Trees.	CSCLP	2006	DBLP DOI BibTeX RDF
14	Alejandro Zunino, Marcelo Campo, Cristian Mateos	Reactive Mobility by Failure: When Fail Means Move.	Inf. Syst. Frontiers	2005	DBLP DOI BibTeX RDF	mobility, mobile agents, logic programming, intelligent agents
14	Rémy Haemmerlé	SiLCC Is Linear Concurrent Constraint Programming.	ICLP	2005	DBLP DOI BibTeX RDF
14	Ricardo Rocha 0001, Nuno A. Fonseca, Vítor Santos Costa	On Applying Tabling to Inductive Logic Programming.	ECML	2005	DBLP DOI BibTeX RDF
14	Thierry Despeyroux	Practical semantic analysis of web sites and documents.	WWW	2004	DBLP DOI BibTeX RDF	XML, knowledge management, information system, logic programming, consistency, quality, web engineering, formal semantics, content management, web sites, web site evolution
14	M. R. K. Krishna Rao	Inductive Inference of Term Rewriting Systems from Positive Data.	ALT	2004	DBLP DOI BibTeX RDF
14	Michael Gelfond	Answer Set Programming and the Design of Deliberative Agents.	ICLP	2004	DBLP DOI BibTeX RDF
14	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
14	Ken Taniguchi, Takao Terano	Logic-based genetic programming for multi-modal solutions.	SMC (6)	2004	DBLP DOI BibTeX RDF
14	M. R. K. Krishna Rao	Input-Termination of Logic Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
14	Chunlin Li 0001, Zhengding Lu, Layuan Li	Design and Implementation of a Hybrid Agent Platform.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
14	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
14	Dariusz Biernacki, Olivier Danvy	From Interpreter to Logic Engine by Defunctionalization.	LOPSTR	2003	DBLP DOI BibTeX RDF
14	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
14	Joachim Schimpf	Logical Loops.	ICLP	2002	DBLP DOI BibTeX RDF
14	Rafael Caballero 0001, Francisco Javier López-Fraguas	Dynamic-Cut with Definitional Trees.	FLOPS	2002	DBLP DOI BibTeX RDF
14	Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin	Indexical-Based Solver Learning.	CP	2002	DBLP DOI BibTeX RDF	rule-based constraint solver, learning, consistency, CSP
14	Rong Yang, Steve Gregory	Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search.	LPAR	2001	DBLP DOI BibTeX RDF
14	Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill	Boolean Functions for Finite-Tree Dependencies.	LPAR	2001	DBLP DOI BibTeX RDF
14	Noriko Sugimoto, Hiroki Ishizaka, Takeshi Shinohara	An Efficient Derivation for Elementary Formal Systems Based on Partial Unification.	Discovery Science	2001	DBLP DOI BibTeX RDF
14	Nicolas Beldiceanu, Mats Carlsson	Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family.	ICLP	2001	DBLP DOI BibTeX RDF
14	Jonathan P. Bowen, Jifeng He 0001, Qiwen Xu	An Animatable Operational Semantics of the Verilog Hardware Description Language.	ICFEM	2000	DBLP DOI BibTeX RDF
14	Jan Murray, Oliver Obst, Frieder Stolzenburg	Towards a Logical Approach for Soccer Agents Engineering.	RoboCup	2000	DBLP DOI BibTeX RDF
14	Alain Colmerauer, Thi-Bich-Hanh Dao	Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees.	CP	2000	DBLP DOI BibTeX RDF
14	Raimondas Lencevicius, Alexander Ran, Rahav Yairi	Third eye - specification-based analysis of software execution traces (poster).	ICSE	2000	DBLP DOI BibTeX RDF
14	Iain Sutherland, Suzanne M. Embury, Andrew C. Jones, W. A. Gray, Richard J. White, John S. Robinson, Frank A. Bisby, Sue M. Brandt	LITCHI: Knowledge Integrity Testing for Taxonomic Databases.	SSDBM	1999	DBLP DOI BibTeX RDF
14	Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo	Embedding Multiset Constraints into a Lazy Functional Logic Language.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
14	Bruria Haberman, Zahava Scherz, Ehud Shapiro	Abstract data types as a project development organiser.	ITiCSE	1998	DBLP DOI BibTeX RDF
14	James H. Andrews	Executing Formal Specifications by Translation to Higher Order Logic Programming.	TPHOLs	1997	DBLP DOI BibTeX RDF
14	Mats Carlsson, Greger Ottosson, Björn Carlson	An Open-Ended Finite Domain Constraint Solver.	PLILP	1997	DBLP DOI BibTeX RDF	Implementation of Constraint Systems, Indexicals, Constraint Programming, Global Constraints, Finite Domains
14	Christian Krämer, Lutz Prechelt	Design Recovery by Automated Search for Structural Design Patterns in Object-Oriented Softwar.	WCRE	1996	DBLP DOI BibTeX RDF
14	Beniamino Di Martino, Giulio Iannello	PAP Recognizer: A Tool for Automatic Recognition of Parallelizable Patterns.	WPC	1996	DBLP DOI BibTeX RDF
14	Dongha Shin, Michael L. Hilton	Compilation of Disjunctive Logic Programs Using an Extended WAM.	COMPSAC	1996	DBLP DOI BibTeX RDF
14	Konstantinos Sagonas, Terrance Swift, David Scott Warren	An Abstract Machine for Fixed-Order Dynamically Stratified Programs.	CADE	1996	DBLP DOI BibTeX RDF
14	Dale Miller 0001	Linear Logic as Logic Programming: An Abstract.	LACL	1996	DBLP DOI BibTeX RDF
14	Man-lai Tse, Wing-hang Wong, Ho-fung Leung	Programming with Communicating Nondeterministic Logic Objects.	ISPAN	1996	DBLP DOI BibTeX RDF
14	Iliano Cervesato, Joshua S. Hodas, Frank Pfenning	Efficient Resource Management for Linear Logic Proof Search.	ELP	1996	DBLP DOI BibTeX RDF
14	Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan	Design and Implementation of Jump Tables for Fast Indexing of Logic Programs	PLILP	1995	DBLP DOI BibTeX RDF
14	Günther Specht, Stefan Seeberger	Montague Grammars for Deductive Databases.	DOOD	1995	DBLP DOI BibTeX RDF
14	Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto	Sleepers: A Versatile High-Level Control Mechanism.	PLILP	1994	DBLP DOI BibTeX RDF
14	Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas	Combining Lazy Narrowing with Disequality Constraints.	PLILP	1994	DBLP DOI BibTeX RDF
14	Mikael Pettersson	RML - A New Language and Implementation for Natural Semantics.	PLILP	1994	DBLP DOI BibTeX RDF
14	Gerda Janssens, Wim Simoens	On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs.	CC	1994	DBLP DOI BibTeX RDF
14	Paolo Ciancarini	Coordinating Rule-Based Software Processes with ESP.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	multiuser programming environment, concurrency, logic programming, software process, software process modeling, rule-based programming
14	Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider	Computing Extensions of Default Logic - Preliminary Report.	LPAR	1993	DBLP DOI BibTeX RDF
14	Breanndán Ó Nualláin	Mixing metafor.	LPAR	1993	DBLP DOI BibTeX RDF
14	Andrew Davison	Parsing with DCG-terms.	LPAR	1993	DBLP DOI BibTeX RDF