3845 search results - page 459 / 769 » Belief Logic Programming |
155
Voted
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
172
click to vote
CIDR
2011
14 years 10 months ago
2011
Distributed programming has become a topic of widespread interest, and many programmers now wrestle with tradeoffs between data consistency, availability and latency. Distributed...
174
click to vote
EUROSPI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...
145
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
We conducted an ethnographic study to investigate the use of generic vs. task-specific application software by people who create and maintain presentation slides. Sixteen people w...
194
click to vote
IJAOSE
2010
15 years 5 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...