Showing 1 - 20
of 123
for search: '',
query time: 0.11s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Logic programming
Institution
Collection
Format
Subject
Logic programming
21
Artificial intelligence
20
Computer logic
15
Rule-based programming
13
Induction (Logic)
13
Machine learning
more ...
12
Logic
12
Semantic Web
11
Computer software Development
11
Functional programming (Computer science)
10
Constraint programming (Computer science)
10
Nonmonotonic reasoning
7
Software engineering
6
Automatic theorem proving
5
Data structures (Computer science)
4
Computer programming
4
Logic, Symbolic and mathematical
4
Programming languages (Electronic computers)
3
Declarative programming
2
Computer science
2
Deductive databases
2
Knowledge management
2
Programming languages (Electronic computers) Semantics
2
Prolog (Computer program language)
1
Application software
1
Automatic hypothesis formation
1
Computational complexity
1
Computer architecture
1
Computer programs
1
Data mining
see all ...
less ...
Author
115
SpringerLink (Online service)
19
LOPSTR (Symposium)
17
ILP (Conference)
10
Voronkov, Andrei, 1959-
9
RR (Conference)
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
Raedt, Luc de, 1964-
3
Roman, Dumitru (Military journalist),
3
ScienceDirect (Online service)
3
Soylu, Ahmet,
3
WFLP (Workshop)
2
Abe, Jair Minoro,
2
Artikis, Alexander
2
Balduccini, Marcello
2
Baral, Chitta
2
Bellodi, Elena,
2
Bramer, M. A. 1948-
2
Erdem, Esra
2
Etalle, Sandro
2
European Research Consortium for Informatics and Mathematics
2
Gabbrielli, Maurizio
2
Gallagher, John P.,
2
Gupta, G. 1963-
2
Hitzler, Pascal
2
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication