Sciweavers

15754 search results - page 71 / 3151
» Programs are Knowledge Bases
Sort
View
114
Voted
CASCON
1993
70views Education» more  CASCON 1993»
15 years 5 months ago
Using cognates to align sentences in bilingual corpora
In a recent paper, Gale and Church describe an inexpensive method for aligning bitext, based exclusively on sentence lengths [Gale and Church, 1991]. While this method produces su...
Michel Simard, George F. Foster, Pierre Isabelle
146
Voted
VL
2007
IEEE
132views Visual Languages» more  VL 2007»
15 years 10 months ago
A Study on Applying Roles of Variables in Introductory Programming
Expert programmers possess programming knowledge, which is language independent and abstract. Still, programming is mostly taught only via constructs of a programming language and...
Pauli Byckling, Jorma Sajaniemi
237
Voted
ECAI
2000
Springer
15 years 8 months ago
An Embedding of ConGolog in 3APL
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
Koen V. Hindriks, Yves Lespérance, Hector J...
182
Voted
AAAI
2008
15 years 4 months ago
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
Paul Fodor
131
Voted
WCRE
2009
IEEE
15 years 10 months ago
The Logical Modularity of Programs
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
Daniel Ratiu, Radu Marinescu, Jan Jürjens