OMDoc -- an open markup format for mathematical documents : (version 1.2) / by Kohlhase, Michael, 1964-

“…Electronic book.…”
Full Text (via Internet Archive)

Challenges for action theories / by Thielscher, Michael

“…Electronic book.…”
Full Text (via Springer)

Concurrent reactive plans : anticipating and forestalling execution failures / by Beetz, Michael, 1961-

“…Electronic book.…”
Full Text (via Springer)

Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents / by Kern-Isberner, Gabriele, 1956-

“…Electronic book.…”
Full Text (via Springer)

Fuzzy logic in artificial intelligence IJCAI'97 Workshop, Nagoya, Japan, August 23-24, 1997, selected and invited papers /

“…Electronic book.…”
Full Text (via Springer)

Programming multi-agent systems : first international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers /

“…Electronic book.…”
Full Text (via Springer)

Advances in knowledge discovery and data mining : 5th Pacific-Asia Conference, PAKDD 2001, Hong Kong, China, April 16-18, 2001 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Intelligent agents VIII : agent theories, architectures, and languages : 8th international workshop, ATAL 2001, Seattle, WA, USA, August 1-3, 2001 : revised papers /

“…Electronic book.…”
Full Text (via Springer)

Logic programming and nonmonotonic reasoning 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Machine learning ECML 2002 : 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Conceptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Case-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30-August 2, 2001 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Case-based reasoning research and development : Third International Conference on Case-Based Reasoning, ICCBR-99, Seeon Monastery, Germany, July 27-30, 1999 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Knowledge engineering and management by the masses 17th international conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Engineering knowledge in the age of the Semantic Web : 14th international conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Multi-agent systems and applications II : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 : selected revised papers /

“…Electronic book.…”
Full Text (via Springer)

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings /

“…Electronic book.…”
Full Text (via Springer)

Cooperative information agents V : 5th international workshop, CIA 2001, Modena, Italy, September 6-8, 2001 : proceedings /

“…Electronic book.…”
Full Text (via Springer)