Enrico Pontelli
Orcid: 0000-0002-7753-1737Affiliations:
- New Mexico State University, Las Cruces, New Mexico, USA
According to our database1,
Enrico Pontelli
authored at least 326 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.nmsu.edu
On csauthors.net:
Bibliography
2024
CoRR, 2024
Using Computational Thinking to Learn Creative Writing and Performance Arts: Summer Experiences of Story Creation Projects.
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
2023
J. Log. Comput., December, 2023
Introduction to the 39<sup>th</sup> International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program., July, 2023
Univers. Access Inf. Soc., March, 2023
Theory Pract. Log. Program., 2023
Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
2022
Theory Pract. Log. Program., 2022
Culturally Responsive Pedagogy in Computer Science (CR in CS)- K-12 Teacher Professional Development- Needs and Challenges.
Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022
Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs.
Proceedings of the Practical Aspects of Declarative Languages, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Progress in Artificial Intelligence, 2022
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022
2021
Culturally Sustaining Pedagogies in CS: Modern K12 Outreach and its Adaptability in a Global Crisis.
Proceedings of the 2021 Conference on Research in Equitable and Sustained Participation in Engineering, 2021
Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States.
Proceedings of the Practical Aspects of Declarative Languages, 2021
2020
Design and Implementation of Phylotastic, a Service Architecture for Evolutionary Biology.
Int. J. Softw. Eng. Knowl. Eng., 2020
Proceedings of the Practical Aspects of Declarative Languages, 2020
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Accessibility of Block-Based Introductory Programming Languages and a Tangible Programming Tool Prototype.
Proceedings of the Computers Helping People with Special Needs, 2020
Design of a Tangible Programming Tool for Students with Visual Impairments and Low Vision.
Proceedings of the Universal Access in Human-Computer Interaction. Applications and Practice, 2020
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Proceedings of the Practical Aspects of Declarative Languages, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming.
Theory Pract. Log. Program., 2018
Past and present (and future) of parallel and distributed computation in (constraint) logic programming.
Theory Pract. Log. Program., 2018
J. Artif. Intell. Res., 2018
Intelligenza Artificiale, 2018
Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs.
Constraints An Int. J., 2018
Proceedings of the Practical Aspects of Declarative Languages, 2018
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018
Proceedings of the Computers Helping People with Special Needs, 2018
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018
2017
Theory Pract. Log. Program., 2017
2016 IEEE Education Society Awards, 2016 Frontiers in Education Conference Awards, and Selected IEEE Awards.
IEEE Trans. Educ., 2017
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence.
AI Mag., 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
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Autonomous Agents and Multiagent Systems, 2017
A Distributed Constraint Optimization (DCOP) Approach to the Economic Dispatch with Demand Response.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the Practical Aspects of Declarative Languages, 2016
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
Proceedings of the Learning and Collaboration Technologies, 2016
Proceedings of the Principles and Practice of Constraint Programming, 2016
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
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
ACM Trans. Model. Comput. Simul., 2015
J. Exp. Theor. Artif. Intell., 2015
A generic approach to planning in the presence of incomplete information: Theory and implementation.
Artif. Intell., 2015
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015
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
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
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
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the 2015 AAAI Spring Symposia, 2015
Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 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
2014
Techniques to enhance efficiency and effectiveness of inductive logic programming systems: the TWEETY approaches.
J. Exp. Theor. Artif. Intell., 2014
CoRR, 2014
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems.
Proceedings of the Practical Aspects of Declarative Languages, 2014
Proceedings of the Practical Aspects of Declarative Languages, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
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
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
Univers. Access Inf. Soc., 2013
Theory Pract. Log. Program., 2013
ACM Trans. Intell. Syst. Technol., 2013
BMC Bioinform., 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
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
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
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
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
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
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.
Theory Pract. Log. Program., 2011
BMC Bioinform., 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
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
Proceedings of the Declarative Agent Languages and Technologies IX, 2011
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
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011
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
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
Theory Pract. Log. Program., 2010
Logic programming for finding models in the logics of knowledge and its applications: A case study.
Theory Pract. Log. Program., 2010
Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel.
ACM Trans. Access. Comput., 2010
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices.
Int. J. Data Min. Bioinform., 2010
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling.
Comput. Lang. Syst. Struct., 2010
Artif. Intell., 2010
Proceedings of the Practical Aspects of Declarative Languages, 2010
Proceedings of the Computers Helping People with Special Needs, 2010
Proceedings of the Computers Helping People with Special Needs, 2010
Proceedings of the Ninth IAPR International Workshop on Document Analysis Systems, 2010
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
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Theory Pract. Log. Program., 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
Applications of parallel processing technologies in heuristic search planning: methodologies and experiments.
Concurr. Comput. Pract. Exp., 2009
<i>Young women in computing</i>: 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
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
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
Proceedings of the Computational Logic in Multi-Agent Systems, 2009
Reasoning about Multi-agent Domains Using Action Language <i>C</i>\mathcal{C}: A Preliminary Study.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009
Proceedings of the 11th International ACM SIGACCESS Conference on Computers and Accessibility, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Theory Pract. Log. Program., 2007
Theory Pract. Log. Program., 2007
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction.
Softw. Pract. Exp., 2007
J. Artif. Intell. Res., 2007
A Constraint Logic Programming approach to associate 1D and 3D structural components for large protein complexes.
Int. J. Data Min. Bioinform., 2007
Ann. Math. Artif. Intell., 2007
Proceedings of the 2007 Spring Simulation Multiconference, 2007
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, 2007
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Theor. Comput. Sci., 2006
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms.
J. Parallel Distributed Comput., 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
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2006
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
Proceedings of the Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, 2006
2005
Parallel Comput., 2005
A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines.
Theory Comput. Syst., 2005
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(<i>FD</i>).
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Smodels<sup>A</sup> - 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
Proceedings of the Logic Programming, 21st International Conference, 2005
Proceedings of the Logic Programming, 21st International Conference, 2005
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005
Proceedings of the Sixth International Workshop on Automated Debugging, 2005
2004
ACM SIGACCESS Access. Comput., 2004
A system for automatic structure discovery and reasoning-based navigation of the web.
Interact. Comput., 2004
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory.
Comput. Intell., 2004
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004
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
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
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
An Investigation of Scheduling in Distributed Constraint Logic Programming.
Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004
2003
Designing intelligent agents to support universal accessibility of E-commerce services.
Electron. Commer. Res. Appl., 2003
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
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Experiments in Translating and Navigating Digital Formats for Mathematics (A Progress Report).
Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 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
Proceedings of the 2003 Conference on Universal Usability, 2003
Intensional Sets in CLP.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Univers. Access Inf. Soc., 2002
An optimal data structure to handle dynamic environments in non-deterministic computations.
Comput. Lang. Syst. Struct., 2002
Proceedings of the Algorithm Theory, 2002
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002
Proceedings of the LATIN 2002: Theoretical Informatics, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
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
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
Proceedings of the ACM Conference on Assistive Technologies, 2002
Proceedings of the ACM Conference on Assistive Technologies, 2002
2001
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages.
IEEE Trans. Parallel Distributed Syst., 2001
ACM Trans. Program. Lang. Syst., 2001
Optimization schemas for parallel implementation of non-deterministic languages and systems.
Softw. Pract. Exp., 2001
New Gener. Comput., 2001
Proceedings of the Practical Aspects of Declarative Languages, 2001
Proceedings of the Practical Aspects of Declarative Languages, 2001
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
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
Proceedings of the Answer Set Programming, 2001
2000
ACM SIGSOFT Softw. Eng. Notes, 2000
PADL '00: Workshop on Practical Aspects of Declarative Languages.
ACM SIGPLAN Notices, 2000
Inf. Process. Lett., 2000
Acta Informatica, 2000
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
Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999
Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages
J. Funct. Log. Program., 1999
Extended Dynamic Dependent And-Parallelism in ACE.
J. Funct. Log. Program., 1999
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
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.
ACM SIGPLAN Notices, 1998
ACM SIGPLAN Notices, 1998
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
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
1997
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
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
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997
High Performance Parallel Logic Programming: The ACE Parallel Prolog System.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Comput. Lang., 1996
Proceedings of the Eighth IEEE Symposium on Parallel and Distributed Processing, 1996
Proceedings of the Logic Programming, 1996
1995
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 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
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
&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
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
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