Sciweavers

1932 search results - page 67 / 387
» A Functional Quantum Programming Language
Sort
View
PADL
2001
Springer
15 years 2 months ago
An A-Prolog Decision Support System for the Space Shuttle
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
Monica Nogueira, Marcello Balduccini, Michael Gelf...
ECOOP
1998
Springer
15 years 1 months ago
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
Shriram Krishnamurthi, Matthias Felleisen, Daniel ...
OMER
2001
14 years 11 months ago
Implementing Function Block Adapters
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
Torsten Heverhagen, Rudolf Tracht
CICLING
2004
Springer
15 years 3 months ago
Towards Programming in Everyday Language: A Case for Email Management
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
Toru Sugimoto, Noriko Ito, Shino Iwashita, Michio ...
DEXAW
2003
IEEE
113views Database» more  DEXAW 2003»
15 years 3 months ago
Integrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
Stijn Heymans, Dirk Vermeir