Výsledky vyhľadávania - "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

Autori: Walter, Stephan

Zdroj: 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

Prístupová URL adresa: 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 €

Autori: Stephan Walter

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

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Prístupová URL adresa: 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)

Autori: NARDI, Daniele RIEDMILLER M. SAMMUT C. a ďalší

Prístupová URL adresa: https://hdl.handle.net/11573/185356

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)

Autori: Kovacs, Tim Xavier, LLora Keiki, Takadama a ďalší

Zdroj: 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

Dostupnosť: 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

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

Autori: Jonathan, Lawry Jimi, Shanahan Anca, Ralescu

Zdroj: 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

Dostupnosť: 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

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

Autori: Minh, Frédéric Tran Gonnord, Laure Narboux, Julien a ďalší

Prispievatelia: Minh, Frédéric Tran Gonnord, Laure Narboux, Julien a ďalší

Zdroj: 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

Predmety: 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]

Geografické téma: Brasilia, Brazil

Dostupnosť: 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

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).

Autori: Walter, Stephan

Zdroj: Language Resources & Evaluation; Mar2012, Vol. 46 Issue 1, p109-115, 7p

Predmety: LEGAL documents, NONFICTION

Reviews & Products: SEMANTIC Processing of Legal Texts: Where the Language of Law Meets the Law of Language (Book)

Osoby: FRANCESCONI, E., MONTEMAGNI, S., PETERS, W., TISCORNIA, D.

MANAGEMENT INFORMATION SYSTEMS ERRORS. SCIENTOMETRIC ANALYSIS.

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

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

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

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

Geografický termín: UNITED States, AUSTRIA

Frontiers of Combining Systems

Prispievatelia: Thiemann, René Weidenbach, Christoph

Predmety: 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

Popis súboru: application/pdf

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

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/107663

Automated Reasoning with Analytic Tableaux and Related Methods

Prispievatelia: Pozzato, Gian Luca Uustalu, Tarmo

Predmety: 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

Popis súboru: application/pdf

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

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/107643

Integrating Predictive Process Monitoring Techniques in Smart Agriculture

Autori: Fioretto, Simona Ienco, Dino Interdonato, Roberto a ďalší

Prispievatelia: Fioretto, Simona Ienco, Dino Interdonato, Roberto a ďalší

Zdroj: Lecture notes in computer science. Lecture Notes in Artificial Intelligence ; ISMIS 2024 - 27. International symposium on methodologies for intelligent systems ; https://hal.science/hal-04619543 ; ISMIS 2024 - 27. International symposium on methodologies for intelligent systems, Jun 2024, Poitiers, France. pp.306-313, ⟨10.1007/978-3-031-62700-2_27⟩ ; https://link.springer.com/book/10.1007/978-3-031-62700-2

Predmety: [INFO]Computer Science [cs]

Geografické téma: Poitiers, France

Relation: WOS: 001273496500023

Dostupnosť: https://hal.science/hal-04619543
https://hal.science/hal-04619543v1/document
https://hal.science/hal-04619543v1/file/Integrating_Predictive_Process_Monitoring_Techniques_in_Smart_Agriculture.pdf
https://doi.org/10.1007/978-3-031-62700-2_27

Enhancing JAAD with Knowledge Graphs for Improved Pedestrian Crossing Predictions

Autori: Victor, Sandra Ganesh, Gowrishankar Croitoru, Madalina a ďalší

Prispievatelia: Victor, Sandra Ganesh, Gowrishankar Croitoru, Madalina a ďalší

Zdroj: Lecture Notes in Computer Science . Lecture Notes in Artificial Intelligence ; CONCEPTS 2024 - 1st International Joint Conference on Conceptual Knowledge Structures ; https://hal.science/hal-04695528 ; CONCEPTS 2024 - 1st International Joint Conference on Conceptual Knowledge Structures, Sep 2024, Cadiz, Spain. pp.319-326, ⟨10.1007/978-3-031-67868-4_21⟩ ; https://concepts2024.uca.es/

Predmety: Pedestrian crossing, JAAD, Knowledge Graphs, [INFO]Computer Science [cs]

Geografické téma: Spain

Time: Cadiz, Spain

Relation: info:eu-repo/grantAgreement//101076911/EU/Trustworthy AI for CCAM/AI4CCAM

Dostupnosť: https://hal.science/hal-04695528
https://hal.science/hal-04695528v1/document
https://hal.science/hal-04695528v1/file/first_version_concepts_2024.pdf
https://doi.org/10.1007/978-3-031-67868-4_21

User-centered requests for an assistive robotic system in direct nursing care - a mixed method study.

Autori: Madi, Murielle Siebert, Maximilian Langensiepen, Sina a ďalší

Zdroj: Discover Applied Sciences; Dec2025, Vol. 7 Issue 12, p1-24, 24p

An Adaptive Grasping Multi-Degree-of-Freedom Prosthetic Hand with a Rigid–Flexible Coupling Structure.

Autori: Wu, Longhan Wu, Qingcong

Zdroj: Sensors (14248220); Oct2025, Vol. 25 Issue 19, p6034, 21p

Predmety: MULTI-degree of freedom, FLEXIBLE couplings, ARTIFICIAL hands, ROBOT hands, MOTOR ability, CONVOLUTIONAL neural networks, ELECTROMYOGRAPHY

A Knowledge Rich Task Planning Framework for Human-Robot Collaboration

Autori: Shekhar, Shashank Favier, Anthony Alami, Rachid a ďalší

Prispievatelia: Shekhar, Shashank Favier, Anthony Alami, Rachid a ďalší

Zdroj: Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence ; AI 2023 - 43rd SGAI International Conference on Artificial Intelligence ; https://laas.hal.science/hal-04385641 ; AI 2023 - 43rd SGAI International Conference on Artificial Intelligence, Dec 2023, Cambridge, United Kingdom. pp.259-265, ⟨10.1007/978-3-031-47994-6_25⟩ ; http://www.bcs-sgai.org/ai2023/

Predmety: Knowledge reasoning, Human-aware task planning, Collaborative planning, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]

Geografické téma: Cambridge, United Kingdom

Dostupnosť: https://laas.hal.science/hal-04385641
https://laas.hal.science/hal-04385641v1/document
https://laas.hal.science/hal-04385641v1/file/SGAI2023_shekhar_et_al.pdf
https://doi.org/10.1007/978-3-031-47994-6_25

Imperfect data and hydraulic modelling of urban drainage networks

Autori: Delenne, Carole Belghaddar, Yassine Chahinian, Nanée a ďalší

Prispievatelia: Delenne, Carole Belghaddar, Yassine Chahinian, Nanée a ďalší

Zdroj: Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence ; ECSQARU 2023 - 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Special session on AI and heterogeneous data ; https://inria.hal.science/hal-04403952 ; ECSQARU 2023 - 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Special session on AI and heterogeneous data, Sep 2023, Arras, France ; https://www.cril.univ-artois.fr/ecsqaru23/program/

Predmety: [SDE]Environmental Sciences

Geografické téma: Arras, France

Relation: info:eu-repo/grantAgreement//101086252/EU/STormwAteR and WastewAteR networkS heterogeneous data AI-driven management/STARWARS

Dostupnosť: https://inria.hal.science/hal-04403952
https://inria.hal.science/hal-04403952v1/document
https://inria.hal.science/hal-04403952v1/file/Delenne_Ecsqaru_HAL.pdf

Autonomous and Intervention-Based Trust Calibration in Construction Robots: Impact on Unsafe Behavior.

Autori: Lin, Jing Li, Qinyuan Zhang, Kaicheng a ďalší

Zdroj: Journal of Construction Engineering & Management; Jan2026, Vol. 152 Issue 1, p1-15, 15p

Automated Vehicle Classification and Counting in Toll Plazas Using LiDAR-Based Point Cloud Processing and Machine Learning Techniques.

Autori: Campo-Ramírez, Alexander Caicedo-Bravo, Eduardo F. Bacca-Cortes, Bladimir

Zdroj: Future Transportation; Sep2025, Vol. 5 Issue 3, p105, 42p

Predmety: LIDAR, MACHINE learning, TOLL collection, REAL-time computing, VEHICLE detectors, INTELLIGENT transportation systems, POINT cloud

Geografický termín: COLOMBIA

A review and classification of manufacturing ontologies.

Autori: Sapel, Patrick Molinas Comet, Lina Dimitriadis, Iraklis a ďalší

Zdroj: Journal of Intelligent Manufacturing; Aug2025, Vol. 36 Issue 6, p3669-3693, 25p

Predmety: KNOWLEDGE base, INDUSTRY 4.0, ONTOLOGY, CATALOGS, CLASSIFICATION

Digital Transformation and Precision Farming as Catalysts of Rural Development.

Autori: Ronzhin, Andrey Figurek, Aleksandra Surovtsev, Vladimir a ďalší

Zdroj: Land (2012); Jul2025, Vol. 14 Issue 7, p1464, 35p

Predmety: DIGITAL transformation, PRECISION farming, TECHNOLOGICAL innovations, COMMUNITY involvement, RURAL development, AGRICULTURAL modernization, SUSTAINABILITY

Korporácia: EUROPEAN Union