Search Results - Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

Semantic Processing of Legal Texts: where the language of law meets the law of language (Lecture notes in computer science: lecture notes in artificial intelligence, Vol 6036) E. Francesconi S. Montemagni W. Peters D. Tiscornia

Authors: Walter, Stephan

Source: Language Resources and Evaluation, 2012 Jan 01. 46(1), 109-115.

Relation: Semantic Processing of Legal Texts: where the language of law meets the law of language (Lecture notes in computer science: lecture notes in artificial intelligence, Vol 6036) E. Francesconi S. Montemagni W. Peters D. Tiscornia

Access URL: https://www.jstor.org/stable/41486067

E. Francesconi, S. Montemagni, W. Peters, D. Tiscornia: Semantic Processing of Legal Texts: where the language of law meets the law of language (Lecture notes in computer science: lecture notes in artificial intelligence, Vol 6036): 1st Edition, Springer, 2010, XII, 249 pp, 49.22 €

Authors: Stephan Walter

Source: Language Resources and Evaluation. 46:109-115

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dblp.uni-trier.de/db/journals/lre/lre46.html#Walter12
https://link.springer.com/article/10.1007%2Fs10579-011-9149-9

RoboCup 2004: Robot Soccer World Cup VIII (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Authors: NARDI, Daniele RIEDMILLER M. SAMMUT C. et al.

Access URL: https://hdl.handle.net/11573/185356

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : Foreword

Authors: Harper, Richard Rauterberg, Matthias Combetto, Marco

Index Terms: Contribution in Book/Report/Proceedings, PeerReviewed

URL: https://eprints.lancs.ac.uk/id/eprint/226474/
https://eprints.lancs.ac.uk/id/eprint/226474

AI in Drug Discovery : First International Workshop, AIDD 2024, Held in Conjunction with ICANN 2024, Lugano, Switzerland, September 19, 2024, Proceedings

Authors: Djork-Arné Clevert Michael Wand Kristína Malinovská et al.

Resource Type: eBook.

Subjects: Drug development--Data processing--Congresses, Artificial intelligence--Medical applications--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / Data Analytics, MATHEMATICS / Probability & Statistics / General, SCIENCE / Chemistry / Computational & Molecular Modeling

Learning Classifier Systems: International Workshops, IWLCS 2003-2005, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Stock Image View Larger Image Learning Classifier Systems: International Workshops, IWLCS 2003-2005, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Authors: Kovacs, Tim Xavier, LLora Keiki, Takadama et al.

Source: Kovacs , T , Xavier , LL , Keiki , T , Pier Luca , L , Wolfgang , S & Stewart W. , W 2007 , Learning Classifier Systems: International Workshops, IWLCS 2003-2005, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Stock Image View Larger Image Learning Classifier Systems: International Workshops, IWLCS 2003-2005, Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) . vol. 4399 , - edn , Springer . < http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000686 >

Relation: urn:ISBN:3540712305

Availability: https://hdl.handle.net/1983/f7155405-b81c-4bef-8670-9cd2415c38ee
https://research-information.bris.ac.uk/en/publications/f7155405-b81c-4bef-8670-9cd2415c38ee
http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000686

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

Authors: Bernhard Steffen

Resource Type: eBook.

Subjects: Machine learning, Artificial intelligence--Moral and ethical aspects, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Haptics: Science, Technology, Applications : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22–25, 2022, Proceedings

Authors: Hasti Seifi Astrid M. L. Kappers Oliver Schneider et al.

Resource Type: eBook.

Subjects: Haptic devices--Congresses, Human-computer interaction--Congresses

Categories: COMPUTERS / Human-Computer Interaction (HCI), COMPUTERS / Business & Productivity Software / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Hardware / General, COMPUTERS / User Interfaces, TECHNOLOGY & ENGINEERING / Robotics

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Modelling with Words: Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Authors: Jonathan, Lawry Jimi, Shanahan Anca, Ralescu

Source: Jonathan, L, Jimi, S & Anca, R 2003, Modelling with Words: Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence). vol. 2873, - edn, Springer. < http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000343 >

Relation: urn:ISBN:3540204873

Availability: https://hdl.handle.net/1983/08eff052-e4f0-4c84-b162-fddb54c3c8a0
https://research-information.bris.ac.uk/en/publications/08eff052-e4f0-4c84-b162-fddb54c3c8a0
http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000343

Frontiers of Combining Systems

Contributors: Thiemann, René Weidenbach, Christoph

Subject Terms: Open Access, artificial intelligence, computer networks, automated reasoning, computer systems, description logics, formal languages, formal logic, constraint solving, decision procedures, network protocols, ontologies, semantics, software architecture, software design, software engineering, software quality, verification and validation, Software Engineering, Computer hardware, Mathematical theory of computation, Artificial intelligence

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)

Access URL: https://library.oapen.org/handle/20.500.12657/107663

Seligman,J., Liu,F. and Girard,P.:Logic in the community(コミュニティにおける論理:Facebook Logic), Proc.4th Indian Conference on Logic and Its Applications, Lecture Notes in Computer Science, Vol.6521,pp.178-188 (2011)

Authors: 佐野 勝彦

Source: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 2011, 26(6):703

Automated Reasoning with Analytic Tableaux and Related Methods

Contributors: Pozzato, Gian Luca Uustalu, Tarmo

Subject Terms: Open Access, tableaux, tableaux calculus, sequent calculus, proof theory, theorem proving, proof assistant, natural deduction, formalized proof, decision procedures, automated deduction, SMT, Artificial intelligence, Mathematical theory of computation, Software Engineering, Systems analysis and design, Computer hardware

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)

Access URL: https://library.oapen.org/handle/20.500.12657/107643

A Lean-based Language for Teaching Proof in High School ; Un langage basé sur Lean pour l'enseignement de la preuve au lycée

Authors: Minh, Frédéric Tran Gonnord, Laure Narboux, Julien et al.

Contributors: Minh, Frédéric Tran Gonnord, Laure Narboux, Julien et al.

Source: Lecture Notes in Computer Science - Lecture Notes in Artificial Intelligence ; Conference on Intelligent Computer Mathematics 2025 ; https://hal.science/hal-05326824 ; Conference on Intelligent Computer Mathematics 2025, Mauricio Ayala-Rincón (University of Brasilia, UnB, Brazil); Peter Koepke (University of Bonn, Germany); Valeria de Paiva (Topos Institute, Berkeley, USA), Oct 2025, Brasilia, Brazil. pp.447-467, ⟨10.1007/978-3-032-07021-0_25⟩ ; https://cicm-conference.org/2025/cicm.php

Subject Terms: High school, Natural, Language, Secondary education, Interactive theorem prover, ITP, Tactic, Formal, Lean, Undergraduate, Mathematics, Formalization, Proof, Teaching, Proof assistant, Naturel, Assistant de preuve, Enseignement, Preuve, Formalisation, Mathématiques, Lycée, Secondaire, Premier cycle, université, Formel, Langage, [INFO]Computer Science [cs], [MATH]Mathematics [math]

Subject Geographic: Brasilia, Brazil

Availability: https://hal.science/hal-05326824
https://hal.science/hal-05326824v1/document
https://hal.science/hal-05326824v1/file/CICM25-TMGN-hal.pdf
https://doi.org/10.1007/978-3-032-07021-0_25

Foundations of Software Science and Computation Structures

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Subjects: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

MANAGEMENT INFORMATION SYSTEMS ERRORS. SCIENTOMETRIC ANALYSIS.

Alternate Title: ERRORES EN LOS SISTEMAS DE INFORMACIÓN DE GESTIÓN. ANÁLISIS CIENTOMÉTRICO. (Spanish)

Authors: María Castro-Benavides, Lina Celmira Castro-Benavides, Yudy Alexander Tamayo-Arias, Johnny

Source: Journal of Research of the University of Quindio / Revista de Investigaciones Universidad del Quindio; 2022 Supplement, Vol. 34, p62-76, 15p

Subject Terms: MANAGEMENT information systems, INFORMATION resources management, SCIENTOMETRICS, ARTIFICIAL intelligence, COMPUTER science, DATABASE management software

Geographic Terms: UNITED States, AUSTRIA

Intelligent Human Computer Interaction : 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings

Authors: Patrick Horain Catherine Achard Malik Mallem

Resource Type: eBook.

Subjects: User interfaces (Computer systems), Artificial intelligence, Database management, Computer science, Computers, Special purpose

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI)

Language Technologies for the Challenges of the Digital Age : 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings

Authors: Georg Rehm Thierry Declerck

Resource Type: eBook.

Subjects: Text processing (Computer science), Computational linguistics, Electronic data processing, Computer science, Data mining, Artificial intelligence, Word processing, Word processing operations

Categories: COMPUTERS / Speech & Audio Processing, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Data Science / Data Analytics, MATHEMATICS / Probability & Statistics / General

Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Authors: Rio Yokota Weigang Wu

Resource Type: eBook.

Subjects: Computer engineering, Electronic data processing, Electronic digital computers, Artificial intelligence, Logic design, Computer science, Computer organization, Computers, Operating systems (Computers)

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Hardware / General