Article-Journal

textscNP-Spec: An Executable Specification Language for Solving All Problems in NP

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
A Survey of Automated Timetabling

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
Internet Agents for telemedicine services

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite DOI
Local Search Techniques for Large High-School Timetabling Problems

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
Scheduling Sport Tournaments using Constraint Logic Programming

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
$mathcalAL$-log: integrating datalog and description logics

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
A Refined Architecture for Terminological Systems: Terminology = Schema + Views

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
Adding epistemic operators to description logics

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
textsfAlma-0: An Imperative Language that Supports Declarative Programming

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
Adaptive load balancing: a study in multi-agent learning

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite