1.

Record Nr.

UNINA9910400560503321

Titolo

Al-Andalus

Pubbl/distr/stampa

Madrid ; ; Granada : , : Escuela de Estudios Árabes de Madrid y Granada, , [1933-1978]

ISSN

0304-4335

Descrizione fisica

1 online resource (43 volumes) : illustrations

Disciplina

946.02

Soggetti

Arabs - Spain

Islam

Arabes - Espagne

Arabs

Periodicals.

History

Spain History 711-1516 Periodicals

Espagne Histoire 711-1516 Périodiques

Spain

Lingua di pubblicazione

Spagnolo

Formato

Materiale a stampa

Livello bibliografico

Periodico

Note generali

At head of title, 1940-1944, v. 1: Consejo Superior de Investigaciones Científicas, Patronato Menéndez y Pelayo, Instituto Benito Arias Montano; Consejo Superior de Investigaciones Científicas, Patronato Menéndez y Pelayo, Instituto Miguel Asín.



2.

Record Nr.

UNINA9910337846503321

Titolo

Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings / / edited by Francesco Calimeri, Nicola Leone, Marco Manna

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019

ISBN

3-030-19570-8

Edizione

[1st ed. 2019.]

Descrizione fisica

1 online resource (XV, 822 p. 1646 illus., 29 illus. in color.)

Collana

Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 11468

Disciplina

006.3

Soggetti

Artificial intelligence

Computer science

Machine theory

Information technology - Management

Compilers (Computer programs)

Computer programming

Artificial Intelligence

Computer Science Logic and Foundations of Programming

Formal Languages and Automata Theory

Computer Application in Administrative Data Processing

Compilers and Interpreters

Programming Techniques

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes Index.

Nota di contenuto

Belief revision and argumentation -- Causal, defeasible and inductive reasoning -- Conditional, probabilistic and propositional logic -- Description logics -- Logic programming -- Modal and default logic -- Temporal logic.

Sommario/riassunto

This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The



accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic.