yusuke1997/dblp-id-title huggingface dataset:
Parallel System for Abnormal Cell Growth Prediction Based on Fast Numerical Simulation
Parallel Implementation of Kinetic Cellular Automata for Modeling CO Oxidation over Pd(110) Surface
Satellite Image Structure Analysis with the GRID Technologies
On Numerical Solution of Integral Equations for Three-Dimensional Diffraction Problems
A Message Forward Tool for Integration of Clusters of Clusters Based on MPI Architecture
A Multi-core Software API for Embedded MPSoC Environments
High Performance Computation for Large Eddy Simulation
A Scalable Multi-attribute Range Query Approach on Cluster-Based Hybrid Overlays
Parallelization of Motion JPEG Decoder on TILE64 Many-Core Platform
A non-deterministic semantics for ordered logic programs
Global Skolemization with Grouped Quantifiers
1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
Interactive Constraint Satisfaction and its Application to Visual Object Recognition
Improving the Efficiency of Dynamic Modular Logic Languages
A Declarative Approach to the Design and Realization of Graphic Interfaces
High-level Parallel and Concurrent Programming in Eden
Structural Information Analysis for CLP Languages
A fixpoint semantics for reasoning about finite failure
Approximate Protein Folding in Oz through Frequency Analysis
ACI1 constraints
On the parallel implementation of the higher order logic language lambda Prolog
Abstract Interpretation of Concurrent Languages based on Linear Logic
An Implementation of Equational Constructive Negation
On the Practical Use of Negation in a Prolog Compiler
Towards automated reformulation of specications
Systematic design of abstract interpretations
Ordered Programs as Abductive Systems
A Sleeper-based Prolog Interpreter with Loop Checks
Internet Credential Acceptance Policies
Extending CAML Light to Perform Distributed Computation
Secrets of Software Model Checking
Gramáticas Datalog Extendidas: Una Nueva Aproximación
Monadas y Procesos Funcionales Comunicantes
Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop
Rewriting logic and its applications
D2: A Model for Datalog Parallel Evaluation
Straight ROBDDs are not the Best for Pos
A Lazy Splitting System for Forum
A Completeness Result for SLDNF-Resolution
Contextual Specialization of Constraint Logic Programs
Analysis of Pure PROLOG Programs
Operational Semantics of an Imperative Language in Definite Clauses
The IDEA User Interface: the Power of Logic Programming in GUI Implementations
JAVASET: Declarative Programming in Java with Sets
A Decision Procedure for Monotone Functions over Lattices
OASIS 2.0: An Object Definition Language for Object Oriented Databases
Handling Calls to Missing Predicates
Declarative Incorrectness Diagnosis in Constraint Logic Programming
Enhancing Constraint Logic Programming through Meta Programming
On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs
Type Inference and Checking for POS-typed Funtional Logic Programs
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
Semantics of Concurrent Logic Programming as Uniform Proofs
Modular Abstract Diagnosis
An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems
Transitive Venn diagrams with applications to the decision problem in set theory
Three-Valued Semantics for Extended Logic Programs
Decidability results for sets with atoms
Modeling Object Dynamics in Object-Oriented Logic Programming
A Deterministic Operational Semantics for Functional Logic Programs
Learning Action Theories as Logic Programs
A new logic architecture for Intelligent Agents
Amalgamating Language and Meta-language for Composing Logic Programs
A Temporal Logic for Program Specification
Sharing Revisited
A Babel Parallel System: VHDL Modelling for Performance Measurement
Component-based Programming for Attribute Grammars
On the Relationship between Logic Programs and Specifications
How to transform an analyzer into a verifier
Logic programs as abstract domains
Fixpoint Semantics of L lambda
Properties of the Lattice of Observables in Logic Programming
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic
A Linear Logic Programming Language with Parallel and Sequential Conjunction
A Constructive Negation for Transition System Specifications
Comparing expressiveness of set constructor symbols
An Ordered Choice Logic Programming Front-End for Answer Set Solvers
On Extended Logic Languages supporting Program Structuring
Computational Properties of Term Rewriting with Replacement Restrictions
Proving the completeness of theory-based variants of resolution
Ordered Logic and its Relationships to other Logic Programming Formalisms
LOO: An Object Oriented Logic Programming Language
A Markov Model for Probabilistic Concurrent Constraint Programming
Analyzing and Animating Declarative Specifications
Towards a Functional Process Calculus
Layered Modes
A Logic Language Based on GAMMA-Like Multiset Rewriting
Everything buT Assignment
Code Migration with First Order Continuations
Temporal Answer Sets
Exploiting Expression- and Or-Parallelism for a Functional Logic Language
Monadas para la Comunicacion de Objetos Funcionales
Agents' executable specifications
Extending Datalog with Choice and Weak Constraints
Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases
CPOs as Concrete Domains: Lattices of Abstract Domains and Complements
Extending Explanation-Based Generalization with Metalogic Programming
Split Resolution Tailoring Tableaux to Refute Clause Sets
Optimizing Logic Programs with Finite Domain Constraints
Curbing Theories: Fixpoint Semantics and Complexity Issues
Abstract Correction of OBJ-like Programs
Calcolo del Modello Well-Founded di Programmi Datalog
Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation
Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables
Transformation and Debugging of Functional Logic Programs
An embedding of calculi for negation as failure into linear logic
Executing Intensional Logic with the TAS Tool
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD)
Hybrid Knowledge Bases for Intelligent Reasoning Systems
Calculi of Explicit Substitutions: New Results
A Functional Logic Language with Finite Domain Constraints
A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas
What the Event Calculus actually does, and how to do it efficiently
Completeness in Abstract Interpretation
A Prolog Implementation of Kem
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems
Negation in Transaction Programs
Optimization of Disjunctive Abstract Interpretations
A Denotational Semantics for Prolog
Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency
A System Prototype for the Optimization of Disjunctive Queries
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces
Using dynamic logic programming to model legal reasoning
Constraint Logic Programming: Theory, Domain and Applications
Real Constraints within a Functional Logic Language
1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2
Boolean functions for finite-tree dependencies
The Architecture of a Disjunctive Deductive Database System
High Performance Parallel Logic Programming: The ACE Parallel Prolog System
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited
Petri Nets and Linear Logic: a Case Study for Logic Programming
Safeguarding the Venice Lagoon: Ann Aplication of a Knowledge-Based DSS
Specifying and computing hierarchies of temporal authorizations
A Bottom-Up Interpreter for a Database Language with Updates and Transactions
An ODBC Interface for Objective Caml
A Unified Computation Model for Declarative Programming
Characterizing Abstract Program Properties by Abduction
Sustained Models and Sustained Answers in First-Order Databases
On the verification of finite failure
Lazy Narrowing on an Abstract Machine by Means of Examples
Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos
A Transitional Semantics of Full Prolog
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002
Labeling in CLP(FD) with Evolutionary Programming
Diagnosis of CHIP Programs Using Type Information
Modular Analysis of Suspension Free cc Programs
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996
Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs
The DLV Java Wrapper
Set domains for structural properties of terms
Hypothetical Reasoning with Substructural Logics
Hypotethical Reasoning: an application to Optical Music Recognition
Modeling Real-Time in Concurrent Constraint Programming
Solving Systems of Equations over Hypersets
Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD)
Multiagent Compromises and Joint Fixpoint Semantics
A Logic Language for Database Integration
An Effective Algorithm for Compiling Pattern Matching Keeping Laziness
Towards Temporal Reasoning in ISCO
On Quantified Negatives Queries
Querying inductive Databases via Logic-Based user-defined aggregates
Abductive Proof Procedures for Fault Diagnosis
An Operational Semantics for CHIP
IDEA: Intelligent Data Retrieval in Prolog
Downward Refinement of Hierarchical Datalog Theories
Computing Disjunctive Ordered Logic
Solving Hard Disjunctive Logic Programs Faster (Sometimes)
The Inmediate Consequence Operator and Robinson's Operator
Specification and Simulation of Multi-Agent Systems in CaseLP
The Transformational Approach to Program Development
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000
Especificacion orientada a objetos desde un enfoque algebraico
Integrity Constraints Evolution in Deductive Databases
8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993
1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999
Theoretical Foundations and Semantics of Logic Programming
La Potencia Expresiva de los Catamorfismos
Practical Advtanages of Declarative Programming
Logical Foundations for Multi-agent Systems
A Fuzzy Logic Programming Language
Set Based-Analysis of Logic Programs via Abstract Interpretation
Integrating Active Rules in U-Datalog
Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo)
Preliminary exploration on actions as updates
Analysis of SLDNF for Local CLP
Theory-Specific Automated Reasoning
Gondor: Godel on Andorra
The BEAM: A first EAM Implementation
Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming
Semantics of a Data-Parallel Logic Language using the BSP Execution Model
The Quotient of an Abstract Interpretation for Comparing Static Analyses
A Denotational Semantics for Needed Narrowing
Extension of Logic Programming by Similarity
Optimal Management of a Large Computer Network with CHIP
An Introduction to Regular Search Spaces
Implementation of A Term Rewriting System for Solving Process Queries in an Object-Oriented Environment
A Semantic Framework for the Analysis of Concurrent Constraint Programming
A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming
1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1
Combining societal agents' knowledge
Comunicacion entre objetos mediante la unificacion de canales logicos
Combining depth-first and breadth-first search in Prolog execution
Proving modal and temporal properties of rewriting logic programs
Observations about Using Logic as a Specification Language
Computational Properties in Context-Sensitive Rewriting
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli
Visual Logic Programming by Means of Diagram Transformations
Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based
Tratamiento de la ambiguedad de origen preposicional a traves de la logica
Advanced Backjumping Techniques for Rule Instantiations
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs
From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents
Labeling and Partial Arc Consistency for Soft Constraints
An Implementation Kernel for Theorem Proving with Equality Clauses
The Use of CLP(FD) Extended with CHRs for Qualitative Spatial Reasoning and Qualitative Robot Navigation
Concurrent and Reactive Constraint Programming
Parlog Programs Nontermination Analysis
Dealing with Infinite Intensional Sets in CLP
Concurrent Smart Evaluation of Datalog Queries
Formal Specification of a Scanning Tunnelling Microscope
Deciding modal logics using tableaux and set theory
Deterministic semantics for disjunctive logic programs
Parallel Logic Programming with Extensions
Deduccion del Conjunto de Condiciones Independiente de la Transaccion que Violan las Restricciones de Integridad de una Base de datos Deductiva
A Prolog-like Paradigm for Reasoning in First-Order Theories
Extending Datalog to Express Functional Queries: A Language and its Implementation
El modelo RPS para la gestion del paralelismo AND independiente en programas logicos
Parsing TAGs with Prolog
Comsumption-based Distributed Unification
User Preferences VS Minimality in PPDL
An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover
Logic Programming Languages for Databases and the Web
Total correctness of a goal replacement rule based on the unfold/fold proof method
Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos
TAS-D++ vs tablas semanticas
CLP(B): Do it Yourself
Reusable monadic semantics of logic programs with arithmetic predicates
Side Effect Analysis for Logic-Based Planning
An Incremental Needed Narrowing Calculus for Curry
Local Closed-World Assumptions for reasoning about Semantic Web data
Explicit Implementation of a Constraint Solving Mechanism in a Relational Programming System
A Prototype Compiler for Prolog with Boolean Constraints
On the Relation between Rank 2 Intersection Types and Simple Types
Contributions to a Theory of Existential Termination for Definite Logic Programs
Proving correctness of timed concurrent constraint programs
Equational Logic and Theories of Action
Implementing Higher-Order Term-Rewriting for Program Transformation in lambdaProlog
Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica?
A Logic Programming Approach for Planning Workflows Evolutions
A WAM Estesa per la Composizione di Programi Logici
Forum Objects
Reasoning about discrete processes in a logic programming framework
A General Framework to Deal with Sets of One-Dimensional Intervals
Modelling the Future with Event Choice DATALOG
Termination is Language-Independent
Plan of Activities on the Map Calculus
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP
Logic Programming in Italy: A Historical Perspective
Modular Logic Programs on Finite Domains
Proofs as Computations in Linear Logic
Compositionality in SLD-derivations and their Abstractions
Constructive negation for Prolog: A real implementation
Algebraic Methods for the Study of Module Constructs in Logic Programming
Towards High-Order Distribution in Functional Languages
On Pattern-Matching as Query Facility
Inferring termination conditions for logic programs using backwards analysis
Generic Classes Parameterized by Data Structures
Applying Logic Programming to the Specification of Complex Applications
Enhancing Sharing for Precision
On the Abstract Diagnosis of Logic Programs
Some Design Issues in the Visualization of Constraint Logic Program Execution
Combining Crisp and Fuzzy Logic in a Prolog Compiler
Similarity-based SLD Resolution and applications to Mobile Agents
Action Specifications in log
A Note on Logic Programming Fixed-Point Semantics
Semantics for Modules in Functional-Logic Programming
Knowledge Representation and Non-monotonic Reasoning
A Comparison for Unification-Based Parsers
APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001
Restricciones de integridad dinamicas en bases de datos deductivas: una aproximacion basada en logica temporal
Automation of Aggregate Theories: The Cornerstones of Equational Expressibility
Proving termination of Prolog programs
On Probabilistic CCP
Logic Programming by Examples
Recovering Sequentiality in Functional-Logic Programs
Using Narrowing Approximations to Optimize Equational Logic Programs
Intensional Negation in Constraint Logic Programs
Dealing with Explicit Exceptions in Prolog
1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints
ExpertFinder: A Prolog Recommender System Integrated with the WWW
A Case Study in Logic Program Verification: the Vanilla Metainterpreter
AND/OR trees for the learning of functional logic programs
Processing Temporal and Atemporal Declarative Knowledge in Metalogic Programming
Whatever Happened to Meta-Programming?
Back and Forth Semantics for Normal, Disjunctive and Extended Logic programs
Improving Query Optimization for Disjunctive Datalog
A Deductive Data Model for Representing and Querying Semistructured Data
A Logic for Encapsulation in Object-Oriented Languages
Exploiting Logic Programming in Robot Applications
Freeness Analysis through Linear Refinement
An Approach to Infinite Terms Traversal in DCGs
Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics
Defeasible Arguments in a Logic Programming Model
Non Homomorphic Reductions of Data Structures
Automated Behavioural Verification of Prolog Programs
Parsing with Non-Deterministic Functions
Enhancing Disjunctive Logic Programming for Ontology Specification
Semantics of normal logic programs with embedded implications
Extending clp(FD) by Negative Constraint Solving
The And-compositionality of CLP Computed Answer Constraints
Prototyping Processes
Adding Weak Constraints to Disjunctive Datalog
Datalog Grammars
A Tabulation Transformation Tactic Using Haskell Arrays
Language Issues and Programming Techniques in BinProlog
Interpreting Abduction in CLP
Solving Optimal Location of Traffic Count Posts in CLP(FD)
Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva
Source-to-Source Transformation for a Class of Expressive Rules
Inclusional Theories in Declarative Programming
Exploiting Default Logic to Detect Outliers
Fixpoint Semantics for Query Answering in Data Integration Systems
Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog
Computing in the Completion
An LALR Extension for DCGs in Dynamic Programming
An Algorithm for Learning Abductive Rules
(Co)monads from inductive and coinductive types (Extended Abstract)
Designing Ontologies for Agents
Adding Type Classes to Functional-Logic Languages
Using Constraint Logic Programming to Generate Drills in Mathematics
A Parallel Programming Approach to Job Shop Scheduling Constrain Satisfaction Problems
A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints
Object Oriented Software Systems Defined by Constructive Logical Methods
GRAMPAL: A Morphological Processor for Spanish Implemented in Prolog
25 Years of Applications of Logic Programming in Italy
A Configuration Framework for Distributed Logic Applications
LogicSQL: Augmenting SQL with Logic
Confluence and Concurrent Constraint Programming
Finite Failure is AND-Compositional
A Unification-Free Introduction to Logic Programming
Abductive Update of Deductive Databases
A knowledge Transaction Processing Language and Model for Mobile Application
Combining interaction nets with externally defined programs
1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997
Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation
Abstract Interpretation for Uniform Proof Systems
A Monotonic Declarative Semantics for Normal Logic Programs
Reasoning about the Semantic Web using Answer Set Programming
Clasificacion de Objetos Funcionales en Entornos Concurrentes
Sharing Analysis for Logic Programs using Set Logic Programs
Implementing Distributed Concurrent Constraint Execution in the CIAO System
Call-By Name Partial Evaluation of Functional Logic Programs
Accurate Analysis of Prolog with cut
Automatic Simplification of the Visualization of Functional Expressions by Means of Fisheyes Views
Folding by similarity
Amalgamating NAF with NAI
Reasoning about Concurrent Actions and Observations
Semantics for Reasoning with Contradictory Extended Logic Programs
Polygenetic Partial Evaluation of Lazy Functional Logic Programs
Constraint Solving on Lattices
DL-WBA: Un agente intelligente basato sulla Logica Descrittiva per il supporto delle attivita di Web browsing
Logic-Based Languages to Model and Program Intelligent Agents
Multiset constraints and P systems
Adding sorts to TRSs: a result on modularity of termination
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Loop Checking for Reduced SLD-derivations
A Framework for a Transformational Approach to Negation
Sintesis de Programas Logicos: Marco Constructivo
Inverse Narrowing for the Induction of Functional Logic Programs
A Type Checking Tool for a Formal Specification Language
2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003
A Correctness Proof for Warren's HO into FO Translation
Quantum constraint programming
Time Equations for Lazy Functional (Logic) Languages
Programming by Calculation
Verification of Progress Properties
Transport Primitives for Functional Agents
Efficient Producer/Consumer Parallelism in Logic Programming
An Abstract Interpretation Framework for (almost) Full Prolog
Slot Unification Grammar
Comparison and design of abstract domains for sharing analysis
Adding Set Terms to Ordered Logic Programs
A Language for Updates with Multiple Dimensions
Finite-tree analysis for constraint logic-based languages
Boolean and Finite Domain Solvers Compared Using Self Referential Quizzes
A Debugging Model for Lazy Functional Logic Languages
Some questions about non-termination in DCGs
A WAM Implementation for the Logic Meta Programming Language 'Log
A Model Tree Computation of the Strong Well-Founded Semantics
Analysis and Refinement of Constraint Answer Sets in a Planning System
Semantic Tableaux for a Logic with Preorders and Dynamic Sorts
Optimality in Goal-Dependent Analysis of Sharing
Proof-Theoretic and Higher-Order Extensions of Logic Programming
Isoinitial Models for Logic Programs: A Preliminary Study
El lambda-calculo Etiquetado Paralelo (LCEP)
The Undefined Function Differs from the Pointwise Undefined Function
Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases
An Evolving Agent with EVOLP
Implementation of Chain Logic Queries
Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories
Disequalities May Help to Narrow
LANM, SRA y Contradiccion
Intensional Set Constraints
Quasi-metric Spaces as Domains for Abstract Interpretation
A Structural (Meta-Logical) Semantics for Linear Objects