Sciweavers

2722 search results - page 209 / 545
» Automating Language Evolution
Sort
View
POPL
1990
ACM
15 years 8 months ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard
COGSCI
2007
87views more  COGSCI 2007»
15 years 4 months ago
Explaining Color Term Typology With an Evolutionary Model
An expression-induction model was used to simulate the evolution of basic color terms to test Berlin and Kay’s (1969) hypothesis that the typological patterns observed in basic ...
Mike Dowman
CADE
2009
Springer
16 years 5 months ago
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
Martin C. Rinard
ENC
2008
IEEE
15 years 11 months ago
Possibilistic-Based Argumentation: An Answer Set Programming Approach
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
Juan Carlos Nieves, Ulises Cortés, Mauricio...
153
Voted
PPSWR
2005
Springer
15 years 10 months ago
A Revised Architecture for Semantic Web Reasoning
The current architecture for the Semantic Web, with its emphasis on RDF syntactic and semantic compatability, has severe problems when expressive Semantic Web languages are incorpo...
Peter F. Patel-Schneider