Sciweavers

643 search results - page 79 / 129
» Semantic Determinism and Functional Logic Program Properties
Sort
View
CHI
2005
ACM
16 years 4 months ago
Programmatic semantics for natural language interfaces
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
Hugo Liu, Henry Lieberman
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
15 years 10 months ago
On the behavioral diversity of random programs
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
Moshe Looks
ENTCS
2002
144views more  ENTCS 2002»
15 years 3 months ago
Logics and Multi-agents: towards a new symbolic model of cognition
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
Paolo Torroni
134
Voted
LATA
2009
Springer
15 years 10 months ago
Termination of Priority Rewriting
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
Isabelle Gnaedig
127
Voted
CORR
2010
Springer
105views Education» more  CORR 2010»
15 years 3 months ago
A multivalued knowledge-base model
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
Agnes Achs