# Enrico Pontelli

According to our database

^{1}, Enrico Pontelli## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2017

2016 IEEE Education Society Awards, 2016 Frontiers in Education Conference Awards, and Selected IEEE Awards.

IEEE Trans. Education, 2017

A Realistic Dataset for the Smart Home Device Scheduling Problem for DCOPs.

CoRR, 2017

Solving DCOPs with Distributed Large Neighborhood Search.

CoRR, 2017

The Collaborative Virtual Affinity Group Model: Principles and Design.

CoRR, 2017

Learning and Identity in YWIC: An Analysis of Program Implementation and Design as Promoting Agency in Computing (Abstract Only).

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016

Accelerating Exact and Approximate Inference for (Distributed) Discrete Optimization with GPUs.

CoRR, 2016

Distributed Constraint Optimization Problems and Applications: A Survey.

CoRR, 2016

Reports of the 2016 AAAI Workshop Program.

AI Magazine, 2016

A GPU Implementation of the ASP Computation.

Proceedings of the Practical Aspects of Declarative Languages, 2016

Reasoning about Truthfulness of Agents Using Answer Set Programming.

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents.

Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

On the Effectiveness of a Collaborative Virtual Pair-Programming Environment.

Proceedings of the Learning and Collaboration Technologies, 2016

A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs.

Proceedings of the Principles and Practice of Constraint Programming, 2016

Logic Programming Applied to Genome Evolution in Cancer.

Proceedings of the 31st Italian Conference on Computational Logic, 2016

ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities.

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Multi-Variable Agents Decomposition for DCOPs.

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Constrained Community-Based Gene Regulatory Network Inference.

ACM Trans. Model. Comput. Simul., 2015

CUD@SAT: SAT solving on GPUs.

J. Exp. Theor. Artif. Intell., 2015

A declarative concurrent system for protein structure prediction on GPU.

J. Exp. Theor. Artif. Intell., 2015

An Action Language for Multi-Agent Domains: Foundations.

CoRR, 2015

A generic approach to planning in the presence of incomplete information: Theory and implementation.

Artif. Intell., 2015

Multi-Context Systems with Preferences.

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Exploring the Use of BDDs in Conformant Planning.

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Parallel Execution of the ASP Computation - an Investigation on GPUs.

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

DISSECT: An experiment in infusing computational thinking in a sixth grade classroom.

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

DISSECT: Exploring the relationship between computational thinking and English literature in K-12 curricula.

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

Young Women in Computing: Creating a successful and sustainable pipeline.

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

GK-12 DISSECT: Incorporating computational thinking with K-12 science without computer access.

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

DISSECT: Analysis of pedagogical techniques to integrate computational thinking into K-12 curricula.

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming.

Proceedings of the Principles and Practice of Constraint Programming, 2015

A Non-monotonic Goal Specification Language for Planning with Preferences.

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems.

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Multi-Variable Agents Decomposition for DCOPs to Exploit Multi-Level Parallelism.

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence.

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Solving Distributed Constraint Optimization Problems Using Logic Programming.

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Formalizing Negotiations Using Logic Programming.

ACM Trans. Comput. Log., 2014

Techniques to enhance efficiency and effectiveness of inductive logic programming systems: the TWEETY approaches.

J. Exp. Theor. Artif. Intell., 2014

Logic and Constraint Logic Programming for Distributed Constraint Optimization.

CoRR, 2014

Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems.

Proceedings of the Practical Aspects of Declarative Languages, 2014

Exploring the Use of GPUs in Constraint Solving.

Proceedings of the Practical Aspects of Declarative Languages, 2014

Finitary S5-Theories.

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

DISSECT: An experiment in infusing computational thinking in K-12 science curricula.

Proceedings of the IEEE Frontiers in Education Conference, 2014

A multi-layer universally designed workspace for tracking students skills and mastery transition in mathematics manipulation in inclusive education.

Proceedings of the IEEE Frontiers in Education Conference, 2014

"AliCe-ViLlagE" Alice as a Collaborative Virtual Learning Environment.

Proceedings of the IEEE Frontiers in Education Conference, 2014

A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems.

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems.

Proceedings of the Principles and Practice of Constraint Programming, 2014

ASP-DPOP: solving distributed constraint optimization problems with logic programming.

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

GD-GIBBS: a GPU-based sampling algorithm for solving distributed constraint optimization problems.

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Non-visual navigation of spreadsheets - Enhancing accessibility of Microsoft Excel™.

Universal Access in the Information Society, 2013

Autonomous agents coordination: Action languages meet CLP() and Linda.

TPLP, 2013

A conformant planner based on approximation: CpA(H).

ACM TIST, 2013

A Constraint Solver for Flexible Protein Model.

J. Artif. Intell. Res. (JAIR), 2013

Phylotastic! Making tree-of-life knowledge accessible, reusable and convenient.

BMC Bioinformatics, 2013

DISSECT: integrating computational thinking in the traditional K-12 curricula through collaborative teaching (abstract only).

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Protein Structure Prediction on GPU: A Declarative Approach in a Multi-agent Framework.

Proceedings of the 42nd International Conference on Parallel Processing, 2013

Constraint Programming in Community-Based Gene Regulatory Network Inference.

Proceedings of the Computational Methods in Systems Biology, 2013

Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL.

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

CUD@ASP: Experimenting with GPGPUs in ASP solving.

Proceedings of the 28th Italian Conference on Computational Logic, 2013

Exploring tangible collaborative distance learning environments for the blind and visually impaired.

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2012

ASP at Work: An ASP Implementation of PhyloWS.

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Trackable Interactive Multimodal Manipulatives: Towards a Tangible User Environment for the Blind.

Proceedings of the Computers Helping People with Special Needs, 2012

A Non-visual Electronic Workspace for Learning Algebra.

Proceedings of the Computers Helping People with Special Needs, 2012

A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints.

Proceedings of the Principles and Practice of Constraint Programming, 2012

Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning.

Proceedings of the Computational Logic in Multi-Agent Systems, 2012

Exploiting Unexploited Computing Resources for Computational Logics.

Proceedings of the 9th Italian Convention on Computational Logic, 2012

Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains.

Proceedings of the Correct Reasoning, 2012

E-Arithmetic: non-visual arithmetic manipulation for students with impaired vision.

Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility, 2012

On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach.

Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011

Introduction to the 24th international conference on logic programming special issue.

TPLP, 2011

An Implementation of Bubbling

CoRR, 2011

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

CoRR, 2011

Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda

CoRR, 2011

CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis.

BMC Bioinformatics, 2011

ASP-Prolog for Negotiation among Dishonest Agents.

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

On the Effectiveness of CNF and DNF Representations in Contingent Planning.

Proceedings of the IJCAI 2011, 2011

A Logical Formulation for Negotiation among Dishonest Agents.

Proceedings of the IJCAI 2011, 2011

Exploring Protein Fragment Assembly Using CLP.

Proceedings of the IJCAI 2011, 2011

BAAC: A Prolog System for Action Description and Agents Coordination.

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services.

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility.

Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2011

Formalizing Commitments Using Action Languages.

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

MICOO (multimodal interactive cubes for object orientation): a tangible user interface for the blind and visually impaired.

Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011

Contingent Planning as AND/OR Forward Search with Disjunctive Representation.

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

An Experiment in Formalizing Commitments Using Action Languages.

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

On the Effectiveness of Belief State Representation in Contingent Planning.

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula.

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

On Improving Conformant Planners by Analyzing Domain-Structures.

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction.

Proceedings of the Semantic e-Science, 2010

CLP-based protein fragment assembly.

TPLP, 2010

Multivalued action languages with constraints in CLP(FD).

TPLP, 2010

Logic programming for finding models in the logics of knowledge and its applications: A case study.

TPLP, 2010

Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel.

TACCESS, 2010

Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices.

IJDMB, 2010

An Investigation of Multi-Agent Planning in CLP.

Fundam. Inform., 2010

CLP-based protein fragment assembly

CoRR, 2010

Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study

CoRR, 2010

An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling.

Computer Languages, Systems & Structures, 2010

Logic programs with abstract constraint atoms: The role of computations.

Artif. Intell., 2010

Answer Set Programming in 2010: A Personal Perspective.

Proceedings of the Practical Aspects of Declarative Languages, 2010

Integrating Semantic Web and Folksonomies to Improve E-Learning Accessibility.

Proceedings of the Computers Helping People with Special Needs, 2010

Non-visual Navigation of Spreadsheet Tables.

Proceedings of the Computers Helping People with Special Needs, 2010

Detecting and recognizing tables in spreadsheets.

Proceedings of the Ninth IAPR International Workshop on Document Analysis Systems, 2010

CLP-based Protein Fragment Assembly.

Proceedings of the 25th Italian Conference on Computational Logic, 2010

Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda.

Proceedings of the 25th Italian Conference on Computational Logic, 2010

Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge.

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

A New Approach to Conformant Planning Using CNF*.

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

On the Use of Prime Implicates in Conformant Planning.

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Mathematics and Accessibility.

Proceedings of the Universal Access Handbook., 2009

Justifications for logic programs under answer set semantics.

TPLP, 2009

Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures.

J. Log. Comput., 2009

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems.

J. Exp. Theor. Artif. Intell., 2009

GASP: Answer Set Programming with Lazy Grounding.

Fundam. Inform., 2009

Multi-valued Action Languages in CLP(FD)

CoRR, 2009

Applications of parallel processing technologies in heuristic search planning: methodologies and experiments.

Concurrency and Computation: Practice and Experience, 2009

*Young women in computing*: lessons learned from an educational & outreach program.

Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009

Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications.

Proceedings of the Practical Aspects of Declarative Languages, 2009

Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Present and Future Challenges for ASP Systems.

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Representing Multi-agent Planning in CLP.

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using .

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Logic Programming for Multiagent Planning with Negotiation.

Proceedings of the Logic Programming, 25th International Conference, 2009

Answer Set Programming with Constraints Using Lazy Grounding.

Proceedings of the Logic Programming, 25th International Conference, 2009

Building a Programmable Architecture for Non-visual Navigation of Mathematics: Using Rules for Guiding Presentation and Switching between Modalities.

Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2009

Planning for Multiagent Using ASP-Prolog.

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Reasoning about Multi-agent Domains Using Action Language

*C*\mathcal{C}: A Preliminary Study.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Making Microsoft Excel

^{TM}: multimodal presentation of charts.
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009

A Conformant Planner with Explicit Disjunctive Representation of Belief States.

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

Justifications for Logic Programs under Answer Set Semantics

CoRR, 2008

Some Results on the Completeness of Approximation Based Reasoning.

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Some Results on the Completeness of Approximation Based Reasoning.

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

Credulous Resolution for Answer Set Programming.

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

A Constructive semantic characterization of aggregates in answer set programming.

TPLP, 2007

PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.

TPLP, 2007

A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction.

Softw., Pract. Exper., 2007

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.

J. Artif. Intell. Res. (JAIR), 2007

A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes.

IJDMB, 2007

A new approach to hybrid probabilistic logic programs.

Ann. Math. Artif. Intell., 2007

Dynamic scheduling in parallel answer set programming solvers.

Proceedings of the 2007 Spring Simulation Multiconference, 2007

Nonmonotonic inductive logic programming by instance patterns.

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Inductive Logic Programming by Instance Patterns.

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

CPP: A Constraint Logic Programming Based Planner with Preferences.

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

ASP-PROLOG: Composition and Interoperation of Rules.

Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, 2007

Logic Programs with Abstract Constraint Atoms: The Role of Computations.

Proceedings of the Logic Programming, 23rd International Conference, 2007

Multivalued Action Languages with Constraints in CLP(FD).

Proceedings of the Logic Programming, 23rd International Conference, 2007

An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Planning with preferences using logic programming.

TPLP, 2006

Set unification.

TPLP, 2006

Sequential and parallel algorithms for the NCA problem on pure pointer machines.

Theor. Comput. Sci., 2006

Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms.

J. Parallel Distrib. Comput., 2006

PALS: Efficient Or-Parallelism on Beowulf Clusters

CoRR, 2006

An Unfolding-Based Semantics for Logic Programming with Aggregates

CoRR, 2006

A Constructive Semantic Characterization of Aggregates in ASP

CoRR, 2006

Computers and accessibility.

Behaviour & IT, 2006

A new approach to hybrid probabilistic logic programs.

Ann. Math. Artif. Intell., 2006

A constraint logic programming approach to 3D structure determination of large protein complexes.

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Framework for Composition and Inter-operation of Rules in the Semantic Web.

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006

Non-monotonic Negation in Hybrid Probabilistic Logic Programs.

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

*Justifications*for Logic Programs Under Answer Set Semantics.

Proceedings of the Logic Programming, 22nd International Conference, 2006

A Tool for Knowledge Base Integration and Querying.

Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.

Proceedings of the Proceedings, 2006

2005

Issues in parallel execution of non-monotonic reasoning systems.

Parallel Computing, 2005

A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines.

Theory Comput. Syst., 2005

Planning with Preferences using Logic Programming

CoRR, 2005

Heuristics, optimizations, and parallelism for protein structure prediction in CLP(

*FD*).
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Towards a More Practical Hybrid Probabilistic Logic Programming Framework.

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Integrating an Answer Set Solver into Prolog: ASP-PROLOG.

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Smodels

^{A}- A System for Computing Answer Sets of Logic Programs with Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees.

Proceedings of the Logic for Programming, 2005

A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.

Proceedings of the Logic for Programming, 2005

Hybrid Probabilistic Logic Programs with Non-monotonic Negation.

Proceedings of the Logic Programming, 21st International Conference, 2005

A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.

Proceedings of the Logic Programming, 21st International Conference, 2005

An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers.

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Justification and debugging of answer set programs in ASP.

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004

A system for automatic structure discovery and reasoning-based navigation of the web.

Interacting with Computers, 2004

Disunification in

*ACI*1 Theories.
Constraints, 2004

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory.

Computational Intelligence, 2004

ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog.

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

ASP-PROLOG: a system for reasoning about answer set programs in prolog.

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Planning with Preferences Using Logic Programming.

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Smodels with CLP?A Treatment of Aggregates in ASP.

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

A Parallel Algorithm for Helix Mapping Between 3D and 1D Protein Structure Using the Length Constraints.

Proceedings of the Parallel and Distributed Processing and Applications, 2004

Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP.

Proceedings of the Logic Programming, 20th International Conference, 2004

Discovering Structure of Web Pages for Non-visual Navigation: Binding Text to Forms.

Proceedings of the Computers Helping People with Special Needs, 2004

Translating between Formats for Mathematics: Current Approach and an Agenda for Future Developments.

Proceedings of the Computers Helping People with Special Needs, 2004

Towards a Universal Maths Conversion Library.

Proceedings of the Computers Helping People with Special Needs, 2004

Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report.

Proceedings of the Declarative Agent Languages and Technologies II, 2004

Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences.

Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

UMA: a system for universal mathematics accessibility.

Proceedings of the ACM SIGACCESS Conference on Computers and Accessibility, 2004

An Investigation of Scheduling in Distributed Constraint Logic Programming.

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2003

The Level-Ancestor problem on Pure Pointer Machines.

Inf. Process. Lett., 2003

Designing intelligent agents to support universal accessibility of E-commerce services.

Electronic Commerce Research and Applications, 2003

Integrating finite domain constraints and CLP with sets.

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Developing Agents for Bioinformatics Applications: A Preliminary Design.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

Non-monotonic Reasoning on Beowulf Platforms.

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

On the Complexity of Dependent And-Parallelism in Logic Programming.

Proceedings of the Logic Programming, 19th International Conference, 2003

Adding Preferences to Answer Set Planning.

Proceedings of the Logic Programming, 19th International Conference, 2003

Intensional Sets in CLP.

Proceedings of the Logic Programming, 19th International Conference, 2003

A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology.

Proceedings of the Declarative Agent Languages and Technologies, 2003

Intensional Sets in CLP.

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Intelligent non-visual navigation of complex HTML structures.

Universal Access in the Information Society, 2002

An optimal data structure to handle dynamic environments in non-deterministic computations.

Comput. Lang., 2002

An Optimal Algorithm for Finding NCA on Pure Pointer Machines.

Proceedings of the Algorithm Theory, 2002

Semantics-Based Filtering: Logic Programming's Killer App?

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Ancestor Problems on Pure Pointer Machines.

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

Reasoning about Actions in Prioritized Default Theory.

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

An Efficient Parallel Pointer Machine Algorithm for the NCA Problem.

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

Designing Intelligent Agents to Support Universal Accessibility.

Proceedings of the International Conference on Internet Computing, 2002

F-LOG: A Domain Specific Language for Solving Phylogenetic Inference Problems.

Proceedings of the 1st IEEE Computer Society Bioinformatics Conference, 2002

Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach.

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

Planning, reasoning, and agents for non-visual navigation of tables and frames.

Proceedings of the ACM Conference on Assistive Technologies, 2002

Navigation of HTML tables, frames, and XML fragments.

Proceedings of the ACM Conference on Assistive Technologies, 2002

2001

Backtracking in Independent And-Parallel Implementations of Logic Programming Languages.

IEEE Trans. Parallel Distrib. Syst., 2001

Parallel execution of prolog programs: a survey.

ACM Trans. Program. Lang. Syst., 2001

Optimization schemas for parallel implementation of non-deterministic languages and systems.

Softw., Pract. Exper., 2001

Constructive Negation and Constraint Logic Programming with Sets.

New Generation Comput., 2001

Set Unification

CoRR, 2001

Construction and Optimization of a Parallel Engine for Answer Set Programming.

Proceedings of the Practical Aspects of Declarative Languages, 2001

Interoperability between Bioinformatics Tools: A Logic Programming Approach.

Proceedings of the Practical Aspects of Declarative Languages, 2001

Experiments in Parallel Execution of Answer Set Programs.

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems.

Proceedings of the 2001 International Conference on Parallel Processing, 2001

PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.

Proceedings of the Logic Programming, 17th International Conference, 2001

The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance.

Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001

Exploiting Vertical Parallelism from Answer Set Programs.

Proceedings of the Answer Set Programming, 2001

2000

Sets and constraint logic programming.

ACM Trans. Program. Lang. Syst., 2000

Parallel and distributed execution of constraint programs.

ACM SIGSOFT Software Engineering Notes, 2000

PADL '00: Workshop on Practical Aspects of Declarative Languages.

SIGPLAN Notices, 2000

A necessary condition for Constructive Negation in Constraint Logic Programming.

Inf. Process. Lett., 2000

The Temporal Precedence Problem.

Algorithmica, 2000

Data structures for order-sensitive predicates in parallel nondeterministic systems.

Acta Inf., 2000

Concurrent Web-Programming in CLP(WEB).

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

A domain specific language framework for non-visual browsing of complex HTML structures.

Proceedings of the ACM Conference on Assistive Technologies, 2000

1999

Preface.

Electr. Notes Theor. Comput. Sci., 1999

On the Complexity of Or-Parallelism.

New Generation Comput., 1999

Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages

Journal of Functional and Logic Programming, 1999

Extended Dynamic Dependent And-Parallelism in ACE.

Journal of Functional and Logic Programming, 1999

Efficient Techniques for Distributed Implementation of Search-Based AI Systems.

Proceedings of the International Conference on Parallel Processing 1999, 1999

Stack-splitting: Or-/And-parallelism on Distributed Memory Machines.

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

ACI1 Constraints.

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Software technology and computer interfaces for the disabled: non-visual WWW browsing.

Proceedings of the Human-Computer Interaction: Communication, 1999

ACI1 constraints.

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Programming with {SETS} - An International Forum of Discussion.

SIGPLAN Notices, 1998

Parallelism and Implementation Technology for (Constraint) Logic Programming.

SIGPLAN Notices, 1998

Efficient Algorithms for the Temporal Precedence Problem.

Inf. Process. Lett., 1998

The Complexity of Late-Binding in Dynamic Object-Oriented Languages.

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Efficient Backtracking in And-Parallel Implementations of Non-deterministic Languages.

Proceedings of the 1998 International Conference on Parallel Processing (ICPP '98), 1998

Automatic Generation of Provably Correct Parallelizing Compilers.

Proceedings of the 1998 International Conference on Parallel Processing (ICPP '98), 1998

Natural Language Multiprocessing: A Case Study.

Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

On the Representation and Management of Finite Sets in CLP Languages.

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Natural Language Multiprocessing: A Case Study.

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Parallel Symbolic Computation in ACE.

Ann. Math. Artif. Intell., 1997

A constraint-based approach for specification and verification of real-time systems.

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

VACE: A Tool for Visualization of And-Or Parallel Execution.

Proceedings of the 8th Workshop on Logic Programming Environments, 1997

Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems.

Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997

W-ACE: A Logic Language for Intelligent Internet Programming.

Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

Visualization of And/Or-Parallel Execution of Logic Programs.

Proceedings of the Logic Programming, 1997

Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism.

Proceedings of the Logic Programming, 1997

Implementation Mechanisms for Dependent And-Parallelism.

Proceedings of the Logic Programming, 1997

On the Complexity of Parallel Implementation of Logic Programs.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

Extended dynamic dependent and-parallelism in ACE.

Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

High Performance Parallel Logic Programming: The ACE Parallel Prolog System.

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

A Language for Programming in Logic with Finite Sets.

J. Log. Program., 1996

Improving the Efficiency of Nondeterministic Independent and-Parallel Systems.

Comput. Lang., 1996

Last alternative optimization.

Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996

Nested Parallel Call Optimization.

Proceedings of IPPS '96, 1996

Dependent And-Parallelism Revisited (Poster Abstract).

Proceedings of the Logic Programing, 1996

1995

Data parallel logic programming in &ACE.

Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

&ACE: a high-performance parallel Prolog system.

Proceedings of IPPS '95, 1995

Determinacy Driven Optimizations of And-Parallel Prolog Implementations.

Proceedings of the Logic Programming, 1995

Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming.

Proceedings of the Logic Programming, 1995

On the Duality Between Or-parallelism and And-parallelism in Logic Programming.

Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994

Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.

Proceedings of the Logic Programming, 1994

Determinancy Driven Optimization of Parallel Prolog Implementations.

Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994

Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.

Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

&ACE: the And-parallel Component of ACE (A Progress Report on ACE).

Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

ACE: And/Or-parallel Copying-based Execution of Logic Programs.

Proceedings of the Logic Programming, 1994

Compiling Intensional Sets in CLP.

Proceedings of the Logic Programming, 1994

1993

A WAM-Based Implementation of a Logical Language with Sets.

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Extensional and Intensional Sets in CLP with Intensional Negation.

Proceedings of the Workshop on Logic Programming with Sets, 1993

1992

Embedding Finite Sets in a Logic Programming Language.

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1991

{log}: A Logic Programming Language with Finite Sets.

Proceedings of the Logic Programming, 1991