WorldCat Identities

Jorrand, Ph (Philippe)

Overview
Works: 115 works in 246 publications in 3 languages and 2,052 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Thesis advisor, Author, Opponent, htt, Other, Creator, Secretary
Classifications: Q334, 006.3
Publication Timeline
.
Most widely held works by Ph Jorrand
Fundamentals of artificial intelligence : an advanced course by W Bibel( Book )

36 editions published between 1986 and 1987 in English and German and held by 709 WorldCat member libraries worldwide

This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were written in tutorial form; the book thus provides an extremely valuable guide to the fundamental aspects of AI. In the first part, Delgrande and Mylopoulos discuss the concept of knowledge and its representation. The second part is devoted to the processing of knowledge. The contribution by Huet shows that both computation and inference or deduction are just different aspects of the same phenomenon. The chapter written by Stickel gives a thorough and knowledgeable introduction to the most important aspects of deduction by some form of resolution. The kind of reasoning that is involved in inductive inference problem solving (or programming) from examples, and in learning, is covered by Biermann. The tutorial by Bibel covers the more important forms of knowledge processing that might play a significant role in common sense reasoning. The third part of the book focuses on logic programming and functional programming. Jorrand presents the language FP2, where term rewriting forms the basis for the semantics of both functional and parallel programming. In the last chapter, Shapiro gives an overview of the current state of concurrent PROLOG
Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 3-13, 1991 : proceedings by Ph Jorrand( )

25 editions published in 1991 in English and held by 488 WorldCat member libraries worldwide

"This volume contains 6 invited lectures and 13 submitted contributions to the scientific programme of the international workshop Fundamentals of Artificial Intelligence Research, FAIR '91, held at Smolenice Castle, Czechoslovakia, September 8-12, 1991, under the sponsorship of the European Coordinating Committee for Artificial Intelligence, ECCAI. FAIR'91, the first of an intended series of international workshops, addresses issues which belong to the theoretical foundations of artificial intelligence considered as a discipline focused on concise theoretical description of some aspects of intelligence by toolsand methods adopted from mathematics, logic, and theoretical computer science. The intended goal of the FAIR workshops is to provide a forum for the exchange of ideas and results in a domain where theoretical models play an essential role. It is felt that such theoretical studies, their development and their relations to AI experiments and applications have to be promoted in the AI research community."--PUBLISHER'S WEBSITE
Artificial intelligence IV : methodology, systems, applications : proceedings of the Fourth International Conference on Artificial Intelligence--Methodology, Systems, Applications (AIMSA '90) Albena, Bulgaria, 19-22 September, 1990 by Ph Jorrand( Book )

25 editions published between 1987 and 2015 in English and Undetermined and held by 309 WorldCat member libraries worldwide

Presenting recent results and ongoing research in Artificial Intelligence, this book has a strong emphasis on fundamental questions in several key areas: programming languages, automated reasoning, natural language processing and computer vision.AI is at the source of major programming language design efforts. Different approaches are described, with some of their most significant results: languages combining logic and functional styles, logic and parallel, functional and parallel, logic with constraints.A central problem in AI is automated reasoning, and formal logic is, historically, at the
Artificial intelligence II : methodology, systems, applications : proceedings of the Second International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA '86) Varna, Bulgaria, 16-19 September 1986 by Systems, Applications International Conference on Artificial Intelligence: Methodology( Book )

11 editions published in 1987 in English and held by 159 WorldCat member libraries worldwide

Programmation fonctionnelle en S[c]heme : de la conception à la mise en oeuvre by Jean-Michel Hufflen( Book )

1 edition published in 1996 in French and held by 59 WorldCat member libraries worldwide

Fundamentals of artificial intelligence research proceedings( Book )

2 editions published in 1991 in German and English and held by 39 WorldCat member libraries worldwide

Fundamentals of Artificial Intelligence : an Advanced Course by W Bibel( )

1 edition published in 1986 in English and held by 26 WorldCat member libraries worldwide

Fundamentals of artificial intelligence research : international workshop FAIR'91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings( Book )

1 edition published in 1991 in English and held by 23 WorldCat member libraries worldwide

Artificial Intelligence by Ph Jorrand( )

1 edition published in 1994 in English and held by 22 WorldCat member libraries worldwide

Contribution au développement des langages extensibles by Ph Jorrand( Book )

7 editions published in 1975 in French and held by 16 WorldCat member libraries worldwide

Selected papers of the 5th Soviet-French Symposium on Theoretical Computer Science, Methods and Tools for Compilation, and Program Development (Informatika '91) : Grenoble, France, October 1991 by Methods and Tools for Compilation, and Program Development Soviet-French Symposium on Theoretical Computer Science( Book )

4 editions published in 1993 in English and held by 15 WorldCat member libraries worldwide

LAIOS : un réseau multiprocesseur orienté vers des applications d'intelligence artificielle by J Duprat( Book )

2 editions published in 1988 in French and held by 6 WorldCat member libraries worldwide

PRESENTATION D'UNE ARCHITECTURE MASSIVEMENT MULTIPROCESSEUR POUR L'EXECUTION PARALLELE D'APPLICATIONS D'INTELLIGENCE ARTIFICIELLE
Le Système CESAR : description, spécification et analyse des applications réparties by Jean-Pierre Queille( )

2 editions published between 1982 and 2008 in French and held by 5 WorldCat member libraries worldwide

Le système CESAR proposé dans cette thèse est un système d'aide à la conception des applications reparties. Il permet de décrire l'application étudiée dans un langage algorithmique en termes de processus communiquant par rendez-vous; de spécifier les propriétés de comportement souhaitées au moyen d'une logique temporelle. Le modèle sur lequel ces formules sont analysées est un réseau de Petri interprété généré automatiquement à partir de la description fournie. L'analyse repose sur une évaluation des opérateurs temporels comme points fixes de transformateurs de prédicats sur l'espace d'états du modèle
Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications : (AIMSA'90) ; Albena, Bulgaria, 19-22 September, 1990 by Methodology, Systems, Applications (4, 1990, Albena) International Conference on Artificial Intelligence( Book )

1 edition published in 1990 in English and held by 4 WorldCat member libraries worldwide

Une algèbre de processus : pour un calcul basé sur la déduction by Z Talantikit( Book )

2 editions published in 1992 in French and held by 4 WorldCat member libraries worldwide

Types et objets dans un système multi-langage by Philippe Darondeau( )

1 edition published in 1978 in French and held by 4 WorldCat member libraries worldwide

Discussion et synthèse des concepts de segments, procédures et catalogues dans le cadre d'un système informatique mutlilangageet multiutilisateur. Etude des problèmes de protection et de flexibilité
Spécifications et manipulations des programmes : cas d'un ensemble de formes bilinéaires by Philippe Chatelin( )

1 edition published in 1979 in French and held by 4 WorldCat member libraries worldwide

Sur l'approximation et les systèmes dynamiques dans les réseaux neuronaux : applications en intelligence artificielle by Abderrahim Labbi( )

2 editions published in 1993 in French and held by 4 WorldCat member libraries worldwide

Le travail présenté dans cette thèse concerne la modélisation connexionniste de processus de décision par des méthodes mathématiques de la théorie de l'approximation et de la théorie des systèmes dynamiques. Pour cela, deux modèles mathématiques ont été introduits respectivement pour la modélisation du processus de mémoire associative et pour la modélisation de processus de prise de décision dans un environnement évolutif. Les deux modèles ont été rigoureusement analysés d'un point de vue théorique, et ont été validés respectivement sur deux applications: la reconnaissance de caractères et l'aide à la manoeuvre dans un environnement évolutif
Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles by Cyril Autant( Book )

2 editions published in 1993 in French and held by 4 WorldCat member libraries worldwide

Dans la première partie de cette thèse, nous présentons une implémentation du langage fp2 ayant pour modèle les réseaux de Petri. Fp2 est un langage de programmation parallèle base sur la réécriture de termes et les spécifications algébriques. Nous donnons une nouvelle sémantique a fp2, de la famille des sémantiques du vrai parallélisme, et prouvons la correction de cette sémantique par rapport a la sémantique interleaving du langage. Le modèle utilise, les réseaux de Petri, et la nouvelle sémantique donnée au langage permettent une représentation plus compacte de programmes complexes, évitant les problèmes d'explosion combinatoire rencontres avec les implémentations précédentes. Nous évaluons le gain de notre approche, et proposons plusieurs schémas d'interprétation du langage, bases sur cette nouvelle sémantique. La seconde partie de ce travail concerne la définition d'une nouvelle famille d'équivalences comportementales pour les réseaux de Petri. Alors que les équivalences proposées jusqu'alors sont définies entre les marquages, c'est-a-dire entre les états globaux du réseau, nous définissons une relation entre les places du réseau, reprenant une idée proposée par olderog. De nouvelles équivalences, les bisimulations de places, sont proposées a partir de cette définition. Un algorithme efficace (polynomial) permettant de calculer la plus grande bisimulation de places sur un réseau est propose. Nous montrons comment simplifier un réseau en le quotientant par cette plus grande bisimulation, obtenant ainsi un représentant canonique d'une classe d'équivalence de réseaux bisimilaires de places. L'étude de ces équivalences est ensuite étendue aux réseaux avec actions internes
Fonctions et généricité dans un langage de programmation parallèle by Jean-Michel Hufflen( )

2 editions published in 2008 in French and held by 3 WorldCat member libraries worldwide

Fp2 (functional parallel programming) est un langage qui concilie programmation fonctionnelle et programmation parallèle a travers le formalisme des spécifications algébriques et des systèmes de réécriture. Dans le cadre du projet fp2, cette thèse a pour principal objectif de présenter la partie fonctionnelle, incluant la généricité et le traitement des exceptions. La généricité (paramétrisation d'une spécification) est traitée dans la première partie: nous rappelons les principes, étudions la sémantique, formalisons la compilation des opérateurs génériques en restant dans un cadre fonctionnel, et analysons les raccourcis de notation offerts aux utilisateurs. La deuxième partie est consacrée aux exceptions. Elles sont d'abord étudiées d'un point de vue opérationnel, puis nous en donnons une définition précise qui permet de ramener une présentation avec exceptions a une présentation avec sortes ordonnées. Cette définition assure l'existence d'une algèbre initiale et permet en outre de traiter les exceptions avec paramètres génériques. En troisième partie, sont présentées des méthodes de transformation de définitions fonctionnelles récursives en processus parallèles communicants. La généricité est utilisée pour formuler les hypothèses sur les définitions fonctionnelles, et nous montrons de plus comment simuler une pile de récursivité de profondeur arbitraire par des réseaux de processus dont la topologie est fixée statiquement
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.64 for Types et o ... to 0.93 for Artificial ...)

Fundamentals of artificial intelligence : an advanced course
Covers
Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 3-13, 1991 : proceedingsFundamentals of artificial intelligence research proceedingsFundamentals of artificial intelligence research : international workshop FAIR'91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings
Alternative Names
Jorrand, P.

Jorrand, P. (Phillippe)

Jorrand, Ph.

Jorrand, Ph. (Phillippe)

Languages
English (104)

French (22)

German (2)