Showing 1 - 20
of 96
for search: '"Logic programming Congresses."',
query time: 0.39s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
96
Logic programming
18
Computer logic
15
Rule-based programming
13
Artificial intelligence
13
Induction (Logic)
11
Computer software Development
more ...
11
Functional programming (Computer science)
11
Semantic Web
10
Machine learning
9
Constraint programming (Computer science)
9
Logic
9
Nonmonotonic reasoning
7
Software engineering
6
Automatic theorem proving
5
Data structures (Computer science)
4
Computer programming
3
Declarative programming
3
Programming languages (Electronic computers)
2
Knowledge management
2
Logic, Symbolic and mathematical
1
Application software
1
Automatic hypothesis formation
1
Computational complexity
1
Computer science
1
Distributed artificial intelligence
1
Expert systems (Computer science)
1
Intelligent agents (Computer software)
1
Knowledge representation (Information theory)
1
Natural language processing (Computer science)
1
Ontologies (Information retrieval)
see all ...
less ...
Author
93
SpringerLink (Online service)
19
LOPSTR (Symposium)
16
ILP (Conference)
9
RR (Conference)
9
Voronkov, Andrei, 1959-
8
Fuji International Symposium on Functional and Logic Programming
more ...
8
LPAR (Conference)
5
International Conference on Logic Programming
4
Hanus, Michael, 1959-
4
LPNMR (Conference)
4
RuleML+RR (Joint Conference)
3
Roman, Dumitru (Military journalist),
3
Soylu, Ahmet,
3
WFLP (Workshop)
2
Baral, Chitta
2
Bellodi, Elena,
2
Etalle, Sandro
2
European Research Consortium for Informatics and Mathematics
2
Gabbrielli, Maurizio
2
Gallagher, John P.,
2
Gupta, G. 1963-
2
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming
2
King, Andrew Malcolm,
2
Kontchakov, Roman,
2
RuleML+RR (Joint Conference) Oslo, Norway)
2
Vidal, Germán
2
Zese, Riccardo,
2
Železný, Filip
1
Albert, Elvira
1
Alpuente, María
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication