Logiques non monotones et intelligence artificielle :: SCD d'Orléans

Logiques non monotones et intelligence artificielle

Logiques non monotones et intelligence artificielle

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Grégoire, Eric
Format:	Livre papier
Sprog:	Français
Udgivet:	Paris : Hermès C 1990.
Serier:	Langue, raisonnement, calcul
Fag:	Logique mathématique non classique Logique symbolique et mathématique Intelligence artificielle
Autres localisations:	Voir dans le Sudoc

Lignende værker

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
af: Eijck, Jan van, informaticien

Introduction à la logique
af: Delessert, André, 1923-2010
Udgivet: (1988)

Logique mathématique
af: Kleene, Stephen Cole, 1909-1994
Udgivet: (1971)

Intelligence artificielle et informatique théorique
af: Alliot, Jean-Marc, 1962-, et autres
Udgivet: (2002)

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
af: Miglioli, Pierangelo, 1946-

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
af: Baumgartner, Peter, 1953-

Logique. Méthodes pour l'intelligence artificielle
af: Gochet, Paul, 1932-2011, et autres
Udgivet: (2000)

Logique mathématique
af: Kleene, Stephen Cole, 1909-1994
Udgivet: (1987)

Logique. Méthodes formelles pour l'étude des programmes
af: Gochet, Paul, 1932-2011, et autres
Udgivet: (1994)

Intelligence artificielle et informatique théorique
af: Alliot, Jean-Marc, 1962-, et autres
Udgivet: (1994)

Modal logics
af: Feys, Robert, 1889-1961
Udgivet: (1965)

Fundamentals of artificial intelligence : an advanced course
af: Bibel, Wolfgang, 1938-

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
af: MacNish, Craig, 19..-

Le raisonnement en intelligence artificielle : modèles, techniques et architectures pour les systèmes à bases de connaissances
af: Haton, Jean-Paul, 1943-...., auteur en sciences physiques, et autres
Udgivet: (1991)

Current topics in artificial intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers

Logique. Méthodes pour l'informatique fondamentale
af: Gochet, Paul, 1932-2011, logicien, et autres
Udgivet: (1990)

Fuzzy logic in artificial intelligence : IJCAI 97 workshop, Nagoya, Japan, August 23-24, 1997 : selected and invited papers
af: Ralescu, Anca

Non-standard inferences in description logics
af: Küsters, Ralf, 1972-...., informaticien

Nonmonotonic logics : basic concepts, results, and techniques
af: Schlechta, Karl, 1948-

Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5 6, 1996 : selected papers
af: Dix, Jürgen, 1961-

Introduction pratique aux logiques non classiques : avec exercices corrigés
af: Bernadet, Maurice, 19..-...., ingénieur
Udgivet: (2011)

Advances in artificial intelligence : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002 : proceedings

Advances in artificial intelligence : SBIA 2004 : 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29-October 1, 2004 : proceedings

Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995 : selected papers
af: Martin, Trevor P., 1957-

Computational intelligence : theory and applications : international conference, 6th fuzzy days, Dortmund, Germany, May 25-28, 1999 : proceedings

Computational intelligence : theory and applications : international conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001 : proceedings

Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13 15, 1988 : proceedings
af: Reinfrank, Michael, 1958-

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

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

A Missing link in cybernetics : logic and continuity
af: Andrew, Alex M.

Logics in artificial intelligence : [6th] European Workshop, JELIA '96, Évora, Portugal September 30-October 3, 1996 : proceedings
af: Alferes, José Júlio, 1966-

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
af: Cori, René, et autres
Udgivet: (1993)

Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings
af: Jorrand, Philippe, 19..-...., informaticien

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings

Logics in artificial intelligence : 8th European Conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : Proceedings

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
af: Alferes, José Júlio, 1966-

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

Nonmonotonic and inductive logic : second international workshop, Reinhardsbrunn Castle, Germany December 2 6, 1991 : proceedings
af: Brewka, Gerhard, 1955-

Artificial intelligence and symbolic computation : International Conference AISC 98, Plattsburg, New York, USA, September 16 18, 1998 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales