Výsledky vyhledávání

Obálka

Two probabilistic approaches to first-order theory induction : PhD thesis

Autor Železný, Filip, 1974- Vydáno: 2002

Kniha

Obálka

Ant colony optimization and swarm intelligence : 4th international workshop, ANTS 2004, Brussels, Belgium, September 5 - 8, 2004 : proceedings

Vydáno: 2004

Kniha

Obálka

Advances in artificial intelligence : KI-96. 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996. Proceedings

Vydáno: 1996

Kniha

Obálka

Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996. Proceedings

Vydáno: 1996

Kniha

Obálka

Computational logic and multi-agent systems : 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004 : revised selected and invited papers

Vydáno: 2004

Získat plný text

Kniha

Obálka

Automated reasoning with analytic tableaux and related methods : International conference, TABLEAUX '97, Pont-a-Mousson, France, May 13-16, 1997. Proceedings

Vydáno: 1997

Kniha

Obálka

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Vydáno: 2004

Získat plný text

Kniha

Obálka

Automated reasoning with analytic tableaux and related methods : International conference, Tableaux '98, Oisterwijk, the Netherlands, May 5-8, 1998. Proceedings

Vydáno: 1998

Kniha

Obálka

Latest advances in inductive logic programming

Autor Muggleton, Stephen Vydáno: 2015

Kniha

Obálka

Logics in artificial intelligence : European workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998 : proceedings

Vydáno: 1998

Kniha

Obálka

Agents and multi-agent systems : Formalisms, methodologies, and applications. Based on the AI '97, Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificia...

Vydáno: 1998

Kniha

Obálka

Theory reasoning in connection calculi

Autor Baumgartner, Peter Vydáno: 1998

Kniha

Obálka

Automated reasoning with analytic tableaux and related methods : International conference, Tableaux '99, Saratoga Springs, NY, USA, June 7-11, 1999. Proceedings

Vydáno: 1999

Kniha

Obálka

Information extraction : Towards scalable, adaptable systems

Vydáno: 1999

Kniha

Obálka

A tight, practical integration of relations and functions

Autor Boley, Harold, 1952- Vydáno: 1999

Kniha

Obálka

Learning language in logic

Vydáno: 2000

Kniha

Obálka

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

Vydáno: 2000

Kniha

Obálka

Multi-agent systems and applications II : 9th ECCAI Advanced Course, ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2...

Vydáno: 2001

Kniha

Obálka

Inductive logic programming

Vydáno: 2001

Kniha

Obálka

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002 : proceedings

Vydáno: 2002

Kniha