liu.se
Search for publications in DiVA
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-198930
Direct link
https://liu.diva-portal.org/smash/record.jsf?pid=diva2:1809288
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Eliminating Redundant Actions from Plans using Classical Planning
Salerno, Mauricio
Universidad Carlos III de Madrid.
Fuentetaja, Raquel
Universidad Carlos III de Madrid.
Seipp, Jendrik
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.
ORCID iD:
0000-0002-2498-8020
2023 (English)
In:
Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023, p. 774-778
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
2023. p. 774-778
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:liu:diva-198930
DOI:
10.24963/kr.2023/80
OAI: oai:DiVA.org:liu-198930
DiVA, id:
diva2:1809288
Conference
International Conference on Principles of Knowledge Representation and Reasoning
Available from:
2023-11-02
Created:
2023-11-02
Last updated:
2023-11-02
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Authority records
Seipp, Jendrik
Search in DiVA
By author/editor
Seipp, Jendrik
By organisation
Artificial Intelligence and Integrated Computer Systems
Faculty of Science & Engineering
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
doi
urn-nbn
Altmetric score
doi
urn-nbn
Total: 129 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-198930
Direct link
https://liu.diva-portal.org/smash/record.jsf?pid=diva2:1809288
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
oxford
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.47.0
|
Accessibility
|
DiVA portal
|
DiVA Log in
|
Contact us
|
LiU University Library
|
SwePub
|
Uppsök
DiVA
Logotyp