Sciweavers

3408 search results - page 5 / 682
» Logic, language, information and computation
Sort
View
IDC
2009
Springer
14 years 2 months ago
A Protocol for Execution of Distributed Logic Programs
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
László Aszalós, Andreas Herzi...
ICFCA
2004
Springer
14 years 26 days ago
BLID: An Application of Logical Information Systems to Bioinformatics
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
Sébastien Ferré, Ross D. King
POPL
1997
ACM
13 years 11 months ago
A Unified Computation Model for Functional and Logic Programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
Michael Hanus
EMNLP
2011
12 years 7 months ago
Computing Logical Form on Regulatory Texts
Nikhil Dinesh, Aravind K. Joshi, Insup Lee
ENTCS
2006
129views more  ENTCS 2006»
13 years 7 months ago
A Constructive Object Oriented Modeling Language for Information Systems
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...
Mario Ornaghi, Marco Benini, Mauro Ferrari, Camill...