Search Sciweavers | Sciweavers

8109 search results - page 138 / 1622

» A Model of Component-Based Programming

106

Voted

PODS
1992
ACM

96views Database» more PODS 1992»

The Valid Model Semantics for Logic Programs

15 years 9 months ago

Download www.cse.iitb.ac.in

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...

claim paper

Read More »

118

click to vote

SPIN
2000
Springer

112views Theoretical Computer Science» more SPIN 2000»

Bebop: A Symbolic Model Checker for Boolean Programs

15 years 8 months ago

Download spinroot.com

Thomas Ball, Sriram K. Rajamani

claim paper

Read More »

click to vote

ATAL
2008
Springer

105views Intelligent Agents» more ATAL 2008»

A model of contingent planning for agent programming languages

15 years 6 months ago

Download www.cse.yorku.ca

Yves Lespérance, Giuseppe De Giacomo, Atala...

claim paper

Read More »

127

click to vote

CCIA
2008
Springer

114views Artificial Intelligence» more CCIA 2008»

AI at 50: From Programs to Solvers - Models and Techniques for General Intelligence

15 years 6 months ago

Download www.tecn.upf.es

Hector Geffner

claim paper

Read More »

108

Voted

FLOPS
2008
Springer

86views Automated Reasoning» more FLOPS 2008»

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers