Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Communication et connaissance : Supports et médiations à l’âge de l’information / / Jean-Gabriel Ganascia
| Communication et connaissance : Supports et médiations à l’âge de l’information / / Jean-Gabriel Ganascia |
| Autore | Aussenac Nathalie |
| Pubbl/distr/stampa | Paris, : CNRS Éditions, 2020 |
| Descrizione fisica | 1 online resource (192 p.) |
| Altri autori (Persone) |
BalacheffNicolas
BazetIsabelle Beaudouin-LafonMichel BeauvillainPierre BourcierDanièle BourigaultDidier BréchignacCatherine BretonPhilippe CaelenJean CaraFrancesco ChappertClaude CharletJean ChavelPierre DecosterDidier de RougemontMichel de TerssacGilbert Dieng-KuntzRose DollfusPhilippe FdidaSerge FlandrinPatrick GallinariPatrick GanasciaJean-Gabriel GarneroLine GaspinChristine GaudelMarie-Claude HocJean-Michel JacobChristian JorrandPhilippe LoiseauGérard Munoz-YagueAntonio PierrelJean-Marie PlateauBrigitte QuéréRaymond RastierFrançois RollandPaul-Alain SaillardJoseph SalaünJean-Michel SanchezJean Pierre SchollMichel TrystramDenis |
| Collana | Sciences et Techniques de l'Ingénieur |
| Soggetto topico |
Communication - Technological innovations
User interfaces (Computer systems) |
| Soggetto non controllato |
informatique
information modélisation web internet télécommunication donnée TIC |
| ISBN | 2-271-12824-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910495980803321 |
Aussenac Nathalie
|
||
| Paris, : CNRS Éditions, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamentals of Artificial Intelligence [[electronic resource] ] : An Advanced Course / / by Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel ; edited by Wolfgang Bibel, Philippe Jorrand
| Fundamentals of Artificial Intelligence [[electronic resource] ] : An Advanced Course / / by Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel ; edited by Wolfgang Bibel, Philippe Jorrand |
| Autore | Bibel Wolfgang |
| Edizione | [1st ed. 1986.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
| Descrizione fisica | 1 online resource (VII, 314 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Computer programming Computer logic Mathematical logic Artificial Intelligence Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-39875-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge representation: Features of knowledge -- Deduction and computation -- An introduction to automated deduction -- Fundamental mechanisms in machine learning and inductive inference -- Methods of automated reasoning -- Term rewriting as a basis for the design of a functional and parallel programming language -- Concurrent Prolog: A progress report. |
| Record Nr. | UNISA-996465937303316 |
|
Bibel Wolfgang
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamentals of Artificial Intelligence Research [[electronic resource] ] : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings / / edited by Philippe Jorrand, Jozef Kelemen
| Fundamentals of Artificial Intelligence Research [[electronic resource] ] : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings / / edited by Philippe Jorrand, Jozef Kelemen |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (VIII, 260 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-38420-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | User-oriented theorem proving with the ATINF graphic proof editor -- A modal analysis of possibility theory -- Making inconsistency respectable: A logical framework for inconsistency in reasoning, part I — A position paper -- Relational proof systems for some AI logics -- Formal grammars and cognitive architectures -- Efficient simulations of nondeterministic computations and their speed-up by the ring of cooperating machines -- A semantic characterization of disjunctive relations -- Execution of defeasible temporal clauses for building preferred models -- On the phenomenon of flattening “flexible prediction” concept hierarchy -- Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints -- An approach to data-driven learning -- Extending abduction from propositional to first-order logic -- Building in equational theories into the connection method -- Logical fiberings and polycontextural systems -- Automated deduction with associative commutative operators -- Towards a lattice of knowledge representation systems -- Inconsistencies handling: nonmonotonic and paraconsistent reasoning -- An approach to structural synthesis of data processing programs -- Negation as failure and intuitionistic three-valued logic -- Symbolic Computation and Artificial Intelligence. |
| Record Nr. | UNISA-996465658703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||