-
1
Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings.
Published 2024“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic Conference Proceeding eBook -
2
Plan-based control of robotic agents : improving the capabilities of autonomous robots /
Published 2002“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
Restricted to Springer LINK subscribers
Book -
3
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers /
Published 2004“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
Electronic Conference Proceeding eBook -
4
Advances in Web intelligence : Second International Atlantic Web Intelligence Conference, AWIC 2004, Cancun, Mexico, May 16-19, 2004 : proceedings /
Published 2004“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
Electronic Conference Proceeding eBook -
5
Model generation for natural language interpretation and analysis /
Published 2004“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
Electronic eBook -
6
Knowledge management in electronic government : 5th IFIP International Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004 : proceedings /
Published 2004“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
Electronic Conference Proceeding eBook -
7
Multiple-aspect analysis of semantic trajectories : first International Workshop, MASTER 2019, held in conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proce...
Published 2020“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic Conference Proceeding eBook -
8
Graph structures for knowledge representation and reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised selected papers /
Published 2021“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic Conference Proceeding eBook -
9
Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings /
Published 2021“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic Conference Proceeding eBook -
10
xxAI -- beyond explainable AI : International Workshop, held in conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and extended papers /
Published 2022“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic Conference Proceeding eBook -
11
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published 2022“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic Conference Proceeding eBook -
12
Automated deduction -- CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published 2023“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic Conference Proceeding eBook -
13
Frontiers of combining systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published 2023“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic Conference Proceeding eBook -
14
Automated reasoning with analytic tableaux and related methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic Conference Proceeding eBook -
15
Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings.
Published 2024“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
Electronic Conference Proceeding eBook -
16
Robust argumentation machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, proceedings /
Published 2024“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic Conference Proceeding eBook -
17
Advances in brain inspired cognitive systems : 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings /
Published 2012“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
Conference Proceeding Book -
18
Intelligent strategies for pathway mining : model and pattern identification /
Published 2014“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
Book -
19
Language technologies for the challenges of the digital age : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings /
Published 2018“…Lecture notes in computer science. Lecture notes in artificial intelligence.…”
CONNECT
CONNECT
Electronic eBook