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 |
|