Search Results - "computational logic"

1

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers /

Published 2009

Get full text

Electronic

2

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /

Published 2013

Get full text

Electronic

3

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /

Published 2010

Get full text

Electronic

4

Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers /

Published 2010

Get full text

Electronic

5

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach /

by Montali, Marco.
Published 2010

Get full text

Electronic

6

Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings /

Published 2009

Get full text

Electronic

7

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25May 1, 2010, Revised Selected Papers /

Published 2010

Get full text

Electronic

8

Progress in Artificial Intelligence 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings /

Published 2009

Get full text

Electronic

9

Information modeling for Internet applications

Published 2003

Table of Contents: '; “... Hacid, Athena Vakali -- Verifying Web Site Properties Using Computational Logic / João Cavalcanti...”
View fulltext via EzAccess

Electronic

10

Hagenberg Research

Published 2009

Get full text

Electronic

11

Logic and Integer Programming

by Williams, H. Paul.
Published 2009

Get full text

Electronic

12

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /

Published 2013

View fulltext via EzAccess

Electronic

Narrow Search