Showing 1 - 20
of 23
for search: '"Artificial intelligence Congresses."',
query time: 0.41s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
23
Artificial intelligence
Logic, Symbolic and mathematical
9
Software engineering
8
Computer science
5
Computer logic
3
Computer programming
more ...
3
Database management
3
Formal languages
2
Knowledge, Theory of
2
Reasoning
2
Semantic Web
1
Application software
1
Automatic theorem proving
1
Computational linguistics
1
Computer networks
1
Computer science Mathematics
1
Computer simulation
1
Information storage and retrieval
1
Intelligent agents (Computer software)
1
Logic programming
1
Programming languages (Electronic computers)
1
Rule-based programming
1
Uncertainty (Information theory)
1
User interfaces (Computer systems)
see all ...
less ...
Author
21
SpringerLink (Online service)
9
JELIA (Conference)
3
AISC (Conference)
3
RuleML+RR (Joint Conference)
2
Calmet, Jacques,
2
Hölldobler, Steffen, 1957-
more ...
2
JELIA (Conference) Dresden, Germany)
2
Roman, Dumitru (Military journalist),
2
Wang, Dongming, 1961-
1
ACM Digital Library
1
AISC (Conference) Beijing, China)
1
AISC (Conference) Seville, Spain)
1
AISC (Conference) Suzhou, China)
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
Alam, Mehwish,
1
American Association for Artificial Intelligence
1
Antonucci, Alessandro,
1
Aranda-Corral, Gonzalo A.,
1
Artho, Cyrille,
1
Association for Computing Machinery
1
Benzmüller, Christoph,
1
Calimeri, Francesco,
1
Calmet, Jacques
1
Calvanese, Diego,
1
Cholvy, Laurence,
1
Conference on Theoretical Aspects of Reasoning about Knowledge
1
Conference on Theoretical Aspects of Reasoning about Knowledge Pacific Grove, Calif.)
1
Costantini, Stefania,
1
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication