Gopal Gupta

Tomás Vojnar

Autonomous Task Completion Based on Goal-directed Answer Set Programming.

[BibT_eX]

[DOI]

Alexis Tudor

A Neurosymbolic Framework for Bias Correction in Convolutional Neural Networks.

[BibT_eX]

[DOI]

Natalia Slusarz

Ekaterina Komendantskaya

Automated Playing of Survival Video Games with Commonsense Reasoning.

[BibT_eX]

[DOI]

Causally Constrained Counterfactual Generation using ASP.

[BibT_eX]

[DOI]

Computational Thinking with Logic Programming.

[BibT_eX]

[DOI]

NeSyFOLD: A Framework for Interpretable Image Classification.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., July, 2023

Logic-Based Explainable and Incremental Machine Learning.

[BibT_eX]

[DOI]

Sopam Dasgupta

Proceedings of the Prolog: The Next 50 Years, 2023

Prolog: Past, Present, and Future.

[BibT_eX]

[DOI]

Abhiramon Rajasekharan

Yankai Zeng

Manuel Carro

Proceedings of the Prolog: The Next 50 Years, 2023

Counterfactual Explanation Generation with s(CASP).

[BibT_eX]

[DOI]

CoRR, 2023

Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

Reliable Natural Language Understanding with Large Language Models and Answer Set Programming.

[BibT_eX]

[DOI]

Abhiramon Rajasekharan

Yankai Zeng

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

NeSyFOLD: A System for Generating Logic-based Explanations from Convolutional Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

Jury-Trial Story Construction and Analysis Using Goal-Directed Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2023

Argument analysis using Answer Set Programming and Semantics-guided Large Language Models.

[BibT_eX]

[DOI]

Abhiramon Rajasekharan

Yankai Zeng

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Semantic Analysis of Assurance Cases using s(CASP).

[BibT_eX]

[DOI]

Srivatsan Varadarajan

John Rushby

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

Proof-Theoretic Foundations of Normal Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

An ASP-based Approach to Answering Natural Language Questions for Texts.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

Parallel Logic Programming: A Sequel.

[BibT_eX]

[DOI]

Agostino Dovier

Andrea Formisano

Ricardo Rocha

Theory Pract. Log. Program., 2022

Building Information Modeling Using Constraint Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

FOLD-SE: Scalable Explainable AI.

[BibT_eX]

[DOI]

CoRR, 2022

FOLD-TR: A Scalable and Efficient Inductive Learning Algorithm for Learning To Rank.

[BibT_eX]

[DOI]

CoRR, 2022

FOLD-RM: A Scalable and Efficient Inductive Learning Algorithm for Multi-Category Classification of Mixed Data.

[BibT_eX]

[DOI]

CoRR, 2022

Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2022

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming.

[BibT_eX]

[DOI]

Manuel Carro

Proceedings of the Practical Aspects of Declarative Languages, 2022

LTL Model Checking using Coinductive Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Tutorial: Automating Commonsense Reasoning.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Symbolic Reinforcement Learning Framework with Incremental Learning of Rule-based Policy.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

Teaching Complex Software Engineering Concepts through Analogies.

[BibT_eX]

[DOI]

Pawan Saxena

Sanjay K. Singh

Proceedings of the IEEE Frontiers in Education Conference, 2022

2021

Graph-based Interpretation of Normal Logic Programs.

[BibT_eX]

[DOI]

Fang Li

CoRR, 2021

FOLD-R++: A Toolset for Automated Inductive Learning of Default Theories from Mixed Data.

[BibT_eX]

[DOI]

CoRR, 2021

CASPR: A Commonsense Reasoning-based Conversational Socialbot.

[BibT_eX]

[DOI]

CoRR, 2021

A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories.

[BibT_eX]

[DOI]

CoRR, 2021

Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.

[BibT_eX]

[DOI]

Brendan Hall

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

grASP: A Graph Based ASP-Solver and Justification System.

[BibT_eX]

[DOI]

Fang Li

CoRR, 2021

s(CASP) for SWI-Prolog.

[BibT_eX]

[DOI]

Jan Wielemaker

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

AUTO-DISCERN: Autonomous Driving Using Common Sense Reasoning.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Formalizing Informal Logic and Natural Language Deductivism.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs.

[BibT_eX]

[DOI]

Manuel Carro

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Graph Based Answer Set Programming Solver Systems.

[BibT_eX]

[DOI]

Fang Li

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Natural Language Question Answering with Goal-directed Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

Knowledge-driven Natural Language Understanding of English Text and its Applications.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

White-box Induction From SVM Models: Explainable AI with Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Generating Concurrent Programs From Sequential Data Structure Knowledge.

[BibT_eX]

[DOI]

CoRR, 2020

SQuARE: Semantics-based Question Answering and Reasoning Engine.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Justifications for Goal-Directed Constraint Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Pointer Data Structure Synthesis from Answer Set Programming Specifications.

[BibT_eX]

[DOI]

CoRR, 2020

Whitebox Induction of Default Rules Using High-Utility Itemset Mining.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2020

AQuA: ASP-Based Visual Question Answering.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2020

2019

Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining.

[BibT_eX]

[DOI]

CoRR, 2019

An ASP Based Approach to Answering Questions for Natural Language Text.

[BibT_eX]

[DOI]

Dhruva Pendharkar

Proceedings of the Practical Aspects of Declarative Languages, 2019

Synthesizing Imperative Code from Answer Set Programming Specifications.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

Constraint Answer Set Programming without Grounding and its Applications.

[BibT_eX]

[DOI]

Proceedings of the Datalog 2.0 2019, 2019

Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Constraint Answer Set Programming without Grounding.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Heuristic Based Induction of Answer Set Programs, From Default theories to Combinatorial problems.

[BibT_eX]

[DOI]

Proceedings of the Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), 2018

Cumulative Scoring-Based Induction of Default Theories.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017

A new algorithm to automate inductive learning of default theories.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Improving adherence to heart failure management guidelines via abductive reasoning.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Computing Stable Models of Normal Logic Programs Without Grounding.

[BibT_eX]

[DOI]

Kyle Marple

CoRR, 2017

Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning.

[BibT_eX]

[DOI]

CoRR, 2017

A Case for Query-driven Predicate Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the ARCADE 2017, 2017

2016

A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Generalized semantic Web service composition.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2016

A methodology for modeling and verification of cyber-physical systems based on logic programming.

[BibT_eX]

[DOI]

SIGBED Rev., 2016

Augmented reality for breast tumors visualization.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

2015

Language-based software engineering.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

mHealth Platform for Breast Cancer Risk Assessment.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

2014

Dynamic Consistency Checking in Goal-Directed Answer Set Programming.

[BibT_eX]

[DOI]

Kyle Marple

Theory Pract. Log. Program., 2014

2013

Timed π-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Apnea MedAssist II: A smart phone based system for sleep apnea assessment.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Bioinformatics and Biomedicine, 2013

2012

Goal-directed execution of answer set programs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, 2012

Galliwasp: A Goal-Directed Answer Set Solver.

[BibT_eX]

[DOI]

Kyle Marple

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Coinductive Constraint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Semantics-Based Web Service Composition Engine.

[BibT_eX]

[DOI]

Srividya K. Bansal

Proceedings of the Semantic Web Services, Advancement through Evaluation, 2012

2011

A logic-based modeling and verification of CPS.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

A virtual sleep laboratory.

[BibT_eX]

[DOI]

Proceedings of the First ACM Workshop on Mobile Systems, 2011

HygeiaTel: an intelligent telemedicine system with cognitive support.

[BibT_eX]

[DOI]

Proceedings of the First ACM Workshop on Mobile Systems, 2011

Infinite Computation, Co-induction and Computational Logic.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition.

[BibT_eX]

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R).

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2010

Timed Definite Clause Omega-Grammars.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

Timed Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010

2009

Mathematics and Accessibility.

[BibT_eX]

[DOI]

Arthur I. Karshmer

Proceedings of the Universal Access Handbook., 2009

USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2009

A Scalable Wireless Body Area Network for Bio-Telemetry.

[BibT_eX]

[DOI]

J. Inf. Process. Syst., 2009

Dynamic reordering of alternatives for definite logic programs.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2009

ActionScript bytecode verification with co-logic programming.

[BibT_eX]

[DOI]

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Coinductive Logic Programming with Negation.

[BibT_eX]

[DOI]

Richard Min

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

Towards Predicate Answer Set Programming via Coinductive Logic Programming.

[BibT_eX]

[DOI]

Richard Min

Proceedings of the Artificial Intelligence Applications and Innovations III, 2009

Coinductive Logic Programming and its Application to Boolean SAT.

[BibT_eX]

[DOI]

Richard Min

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

2008

Simplifying dynamic programming via mode-directed tabling.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2008

An Agent-Based Approach for Composition of Semantic Web Services.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Generalized Semantics-Based Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Towards a General Framework for Web Service Composition.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007

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

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm

[BibT_eX]

[DOI]

Siddharth Chitnis

Madhu Yennamani

CoRR, 2007

Semantics-basedWeb Service Composition engine.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007

Automatic Composition of SemanticWeb Services.

[BibT_eX]

[DOI]

Srividya Kona

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Coinductive Logic Programming and Its Applications.

[BibT_eX]

[DOI]

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

Co-Logic Programming: Extending Logic Programming with Coinduction.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

Winsight: Towards Completely Automatic Backtranslation of Nemeth Code.

[BibT_eX]

[DOI]

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

2006

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

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2006

PALS: Efficient Or-Parallelism on Beowulf Clusters

[BibT_eX]

[DOI]

CoRR, 2006

Web Service Discovery and Composition using USDL.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006

Coinductive Logic Programming.

[BibT_eX]

[DOI]

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

VoxBoox: : a system for automatic generation of interactive talking books.

[BibT_eX]

[DOI]

Aanchal Jain

Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility, 2006

2005

Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach.

[BibT_eX]

[DOI]

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

Optimization with mode-directed preferences.

[BibT_eX]

[DOI]

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

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.

[BibT_eX]

[DOI]

Michael Leuschel

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

Design and Implementation of A<sub>T</sub>: A Real-Time Action Description Language.

[BibT_eX]

[DOI]

Luke Simon

Ajay Mallya

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

A Universal Service Description Language.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Towards Intelligent Services: A Case Study in Chemical Emergency Response.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Software Engineering Track Chair's Message.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2005

2004

UMA: a system for universal mathematics accessibility.

[BibT_eX]

[DOI]

ACM SIGACCESS Access. Comput., 2004

An Efficient and Flexible Engine for Computing Fixed Points

[BibT_eX]

[DOI]

CoRR, 2004

Simplifying Dynamic Programming via Tabling.

[BibT_eX]

[DOI]

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

A Logic Programming-based Environment for Integrating Architecture Description Languages.

[BibT_eX]

Ramakrishnan Venkitaraman

Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

Framework for Safe Reuse of Software Binaries.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2004

Listener-Controlled Dynamic Navigation of VoiceXML Documents.

[BibT_eX]

[DOI]

Hemambaradara Reddy

Narayan Annamalai

Proceedings of the Computers Helping People with Special Needs, 2004

Towards a Universal Maths Conversion Library.

[BibT_eX]

[DOI]

Dominique Archambault

Proceedings of the Computers Helping People with Special Needs, 2004

Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion.

[BibT_eX]

[DOI]

Narayan Annamalai

Ramakrishnan Venkitaraman

B. Prabhakaran

Proceedings of the Computers Helping People with Special Needs, 2004

Static program analysis of embedded executable assembly code.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Compilers, 2004

2003

Provably Correct Code Generation: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Software Verification and Validation, 2003

Semantic Processing of the Semantic Web.

[BibT_eX]

[DOI]

Kunal Patel

Proceedings of the Semantic Web, 2003

Continuation Semantics as Horn Clauses.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

A New Mode Declaration for Tabled Predicates.

[BibT_eX]

[DOI]

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

INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex.

[BibT_eX]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies, 2003

2002

Intelligent non-visual navigation of complex HTML structures.

[BibT_eX]

[DOI]

Univers. Access Inf. Soc., 2002

A constraint logic programming approach for generating all perfect matchings.

[BibT_eX]

[DOI]

Frank Harary

Appl. Math. Lett., 2002

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

[BibT_eX]

[DOI]

Juan Raymundo Iglesias

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

Towards a Logic Programming Based Environment for Automatic Generation of Translators.

[BibT_eX]

Deepa Gopal

Proceedings of the 12th International Workshop on Logic Programming Environments, 2002

Architecting an Auditory Browser for Navigating Mathematical Expressions.

[BibT_eX]

[DOI]

Arthur I. Karshmer

Douglas J. Gillan

Proceedings of the Computers Helping People with Special Needs, 2002

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Navigation of HTML tables, frames, and XML fragments.

[BibT_eX]

[DOI]

Proceedings of the ACM Conference on Assistive Technologies, 2002

2001

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

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2001

Parallel execution of prolog programs: a survey.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2001

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

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2001

Interoperability between Bioinformatics Tools: A Logic Programming Approach.

[BibT_eX]

[DOI]

Juan Raymundo Iglesias

Proceedings of the Practical Aspects of Declarative Languages, 2001

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

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Parallel Processing, 2001

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

[BibT_eX]

[DOI]

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

A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.

[BibT_eX]

[DOI]

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.

[BibT_eX]

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

2000

Parallel implementation of Prolog: the ACE project.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

The Temporal Precedence Problem.

[BibT_eX]

[DOI]

Algorithmica, 2000

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

[BibT_eX]

[DOI]

Acta Informatica, 2000

Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs.

[BibT_eX]

[DOI]

Shameem F. Akhter

Proceedings of the Practical Aspects of Declarative Languages, 2000

Reliable software construction: a logic programming based methodology.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

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

[BibT_eX]

[DOI]

Proceedings of the ACM Conference on Assistive Technologies, 2000

1999

Preface.

[BibT_eX]

[DOI]

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

On the Complexity of Or-Parallelism.

[BibT_eX]

[DOI]

New Gener. Comput., 1999

Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages

[BibT_eX]

J. Funct. Log. Program., 1999

Extended Dynamic Dependent And-Parallelism in ACE.

[BibT_eX]

J. Funct. Log. Program., 1999

Reading and writing mathematics: The MAVIS<sup>1</sup> Project.

[BibT_eX]

[DOI]

Behav. Inf. Technol., 1999

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

[BibT_eX]

[DOI]

Proceedings of the International Conference on Parallel Processing 1999, 1999

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

[BibT_eX]

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.

[BibT_eX]

Arthur I. Karshmer

Proceedings of the Human-Computer Interaction: Communication, 1999

Horn Logic Denotations and Their Applications.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Efficient Algorithms for the Temporal Precedence Problem.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1998

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Automatic Generation of Provably Correct Parallelizing Compilers.

[BibT_eX]

[DOI]

Amado Lara-Rodríguez

Roberto Felix-Cardenas

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

Natural Language Multiprocessing: A Case Study.

[BibT_eX]

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

Horn Logic Denotations.

[BibT_eX]

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

Reading and Writing Mathematics: the MAVIS Project.

[BibT_eX]

[DOI]

Proceedings of the Third International ACM Conference on Assistive Technologies, 1998

1997

Parallel Symbolic Computation in ACE.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1997

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

Rick Vaupel

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

Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

Rick Vaupel

Proceedings of the Logic Programming, 1997

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

[BibT_eX]

Proceedings of the Logic Programming, 1997

Implementation Mechanisms for Dependent And-Parallelism.

[BibT_eX]

Proceedings of the Logic Programming, 1997

On the Complexity of Parallel Implementation of Logic Programs.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

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

1996

Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems.

[BibT_eX]

[DOI]

Mats Carlsson

J. Log. Program., 1996

Cuts and Side-Effects in And-Or Parallel Prolog.

[BibT_eX]

[DOI]

J. Log. Program., 1996

Improving the Efficiency of Nondeterministic Independent and-Parallel Systems.

[BibT_eX]

[DOI]

Comput. Lang., 1996

Last alternative optimization.

[BibT_eX]

[DOI]

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

Nested Parallel Call Optimization.

[BibT_eX]

[DOI]

Proceedings of IPPS '96, 1996

Dependent And-Parallelism Revisited (Poster Abstract).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

1995

Data parallel logic programming in &ACE.

[BibT_eX]

[DOI]

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

&ACE: a high-performance parallel Prolog system.

[BibT_eX]

[DOI]

Proceedings of IPPS '95, 1995

Determinacy Driven Optimizations of And-Parallel Prolog Implementations.

[BibT_eX]

Dongxing Tang

Proceedings of the Logic Programming, 1995

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

[BibT_eX]

Proceedings of the Logic Programming, 1995

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

[BibT_eX]

[DOI]

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

1994

Optimal implementation of and-or parallel Prolog.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 1994

Determinancy Driven Optimization of Parallel Prolog Implementations.

[BibT_eX]

Dongxing Tang

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.

[BibT_eX]

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

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

[BibT_eX]

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

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

[BibT_eX]

Proceedings of the Logic Programming, 1994

1993

Analysis of Or-Parallel Execution Models.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1993

And-Or Parallel Prolog: A Recomputation Based Approach.

[BibT_eX]

[DOI]

New Gener. Comput., 1993

And-Or Parallelism on Shared-Memory Multiprocessors.

[BibT_eX]

[DOI]

J. Log. Program., 1993

1992

Dynamic Parallel Evaluation of the Cross-Product Set Using Time-Stamps.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1992

Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, 1992

And-Or Parallelism in Full Prolog with Paged Binding Arrays.

[BibT_eX]

[DOI]

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

Generalized Stack-copying for And-Or Parallel Execution of Full Prolog.

[BibT_eX]

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992

Recomputation based Implementations of And-Or Parallel Prolog.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism.

[BibT_eX]

Rong Yang

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

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

[BibT_eX]

[DOI]

Proceedings of the Parallel Execution of Logic Programs, 1991

1990

On Criteria for Or-Parallel Execution Models of Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Optimizing And-Or Parallel Implementations.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

A Timestamp Based Technique for Dynamic Parallel Evaluation of Cross Product of Sets.

[BibT_eX]

Proceedings of the 1990 International Conference on Parallel Processing, 1990

1989

EqL: The Language and Its Implementation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Combined And-Or Parallelism on Shared Memory Multiprocessors.

[BibT_eX]

Proceedings of the Logic Programming, 1989

1988

A universal test set for CMOS circuits.

[BibT_eX]

[DOI]

Niraj K. Jha

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

1986

Parallel execution of an equational language.

[BibT_eX]

[DOI]