The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 269
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
artificial intelligence
144
computer science
140
logic programming and knowledge representation
137
physical sciences
137
fos: mathematics
75
mathematics
74
more ...
computational theory and mathematics
70
fos: philosophy, ethics and religion
67
philosophy
67
02 engineering and technology
65
0202 electrical engineering, electronic engineering, information engineering
63
nonmonotonic reasoning
63
01 natural sciences
60
programming language
52
fuzzy logic and residuated lattices
45
program analysis and verification techniques
44
epistemology
42
0102 computer and information sciences
40
description logics
39
16. peace & justice
36
constraint logic programming
34
methods and techniques for agent-based modeling
34
temporal logic
33
modal logics
31
theoretical computer science
31
logic programming
29
geometry
28
0101 mathematics
27
discrete mathematics
26
mathematical analysis
26
less ...
Published in
artificial intelligence
9
international journal of advanced computer science and applications
8
acronyms, initialisms & abbreviations dictionary
6
clei electronic journal
5
journal of logic and computation
5
logical methods in computer science
5
more ...
the journal of logic programming
5
manuscrito
4
studia logica
4
annals of mathematics and artificial intelligence
3
critica (mexico d. f. en linea)
3
international journal of medical informatics
3
journal of the brazilian computer society
3
acm transactions on computational logic
2
annals of mathematics & artificial intelligence
2
applied sciences
2
international journal of mathematics and mathematical sciences
2
journal of artificial intelligence research
2
journal of automated reasoning
2
logic journal of igpl
2
mathematical structures in computer science
2
revista da abralin
2
semantics and pragmatics
2
studia humana
2
0iclp 2006
1
2017 brazilian conference on intelligent systems (bracis)
1
2023 38th annual acm/ieee symposium on logic in computer science (lics)
1
acronyms, initialisms, & abbreviations dictionary
1
acronyms, initialisms, and abbreviations dictionary
1
advances in computational intelligence, iwann, international work-conference on artificial neural networks, 13
1
less ...
Publisher
openalex
19
springer berlin heidelberg
17
springer science and business media llc
15
elsevier bv
12
springer international publishing
11
oxford university press (oup)
9
more ...
the science and information organization
8
gale, cengage learning
7
wti-frankfurt-digital gmbh
7
centro latino americano de estudios en informatica
5
cambridge university press (cup)
4
centre pour la communication scientifique directe (ccsd)
4
elsevier b.v.
4
fapunifesp (scielo)
4
mdpi ag
4
springer nature
4
walter de gruyter gmbh
4
association for computing machinery (acm)
3
ieee
3
springer
3
springer nature switzerland
3
universidad nacional autonoma de mexico
3
wiley
3
ai access foundation
2
arxiv
2
associacao brasileira de linguistica
2
edipucrs
2
elsevier inc.
2
frontiers media sa
2
kluwer academic publishers
2
less ...
Language
Content Provider
OpenAIRE
163
BASE
41
RCAAP
12
Gale eBooks
8
wiso
7
Complementary Index
7
more ...
dblp computer science bibliography
5
OAIster
4
arXiv
3
ScienceDirect
3
GBV Online Contents
3
Science Citation Index Expanded
2
Academic Search Index
2
Springer Nature Journals
2
GOBI E-books
1
MEDLINE
1
Education Research Complete
1
Directory of Open Access Journals
1
OpenDissertations
1
JSTOR Journals
1
PASCAL Archive
1
less ...
Year of Publication
Filter