Filters








2,363 Hits in 6.1 sec

Feasible Annotation Scheme for Capturing Policy Argument Reasoning using Argument Templates

Paul Reisert, Naoya Inoue, Tatsuki Kuribayashi, Kentaro Inui
2018 Proceedings of the 5th Workshop on Argument Mining  
This paper goes a step further by addressing the task of automatically identifying reasoning patterns of arguments using predefined templates, which is called argument template (AT) instantiation.  ...  Our evaluation demonstrates that we can annotate ATs with a reasonably high interannotator agreement, and the use of templateconstrained inference is useful for instantiating ATs with only partial reasoning  ...  We would like to thank Jan Šnajder and all reviewers of this work for their useful comments and feedback.  ... 
doi:10.18653/v1/w18-5210 dblp:conf/argmining/ReisertIKI18 fatcat:c3nr7jzrozgfhaco5elpu7bxee

Evaluation of semantic events for legal case retrieval

K. Tamsin Maxwell, Jon Oberlander, Victor Lavrenko
2009 Proceedings of the WSDM '09 Workshop on Exploiting Semantic Annotations in Information Retrieval - ESAIR '09  
We assess the feasibility of using semantic events extracted from court judgements to adequately represent the legal concepts and factual content of cases for legal information retrieval (IR).  ...  Legal argument is based on the facts of a case as well as legal issues, concepts and factors.  ...  using events in legal IR, are warranted.  ... 
doi:10.1145/1506250.1506259 fatcat:h2x5dzb33feeha33yg3dxgfowu

A review of argumentation for the Social Semantic Web

Jodi Schneider, Tudor Groza, Alexandre Passant
2013 Semantic Web Journal  
Since the 1950's, several models have been proposed to capture the essence of informal argumentation in different settings.  ...  Argumentation represents the study of views and opinions that humans express with the goal of reaching a conclusion through logical reasoning.  ...  We are grateful for the extensive comments of the reviewers, Iyad Rahwan, Simon Buckingham Shum, and Fouad Zablith.  ... 
doi:10.3233/sw-2012-0073 fatcat:xpiph35fz5hbvczih6e4ps34yy

A high-level programming environment for packet trace anonymization and transformation

Ruoming Pang, Vern Paxson
2003 Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications - SIGCOMM '03  
Our tool provides high-level language support for packet transformation, allowing the user to write short policy scripts to express sophisticated trace transformations.  ...  discuss the critical issue of verifying that anonymizations are both correctly applied and correctly specified, and experiences with anonymizing FTP traces from the Lawrence Berkeley National Laboratory for  ...  colleagues at Princeton for their insights and suggestions; and the staff of the Princeton Department of Computer Science for providing us traces for testing.  ... 
doi:10.1145/863955.863994 dblp:conf/sigcomm/PangP03 fatcat:i3zo2sqnore2he7hnfpygyfkpi

A high-level programming environment for packet trace anonymization and transformation

Ruoming Pang, Vern Paxson
2003 Proceedings of the 2003 conference on Applications, technologies, architectures, and protocols for computer communications - SIGCOMM '03  
Our tool provides high-level language support for packet transformation, allowing the user to write short policy scripts to express sophisticated trace transformations.  ...  discuss the critical issue of verifying that anonymizations are both correctly applied and correctly specified, and experiences with anonymizing FTP traces from the Lawrence Berkeley National Laboratory for  ...  colleagues at Princeton for their insights and suggestions; and the staff of the Princeton Department of Computer Science for providing us traces for testing.  ... 
doi:10.1145/863993.863994 fatcat:q2nrkjye7venfovohepy5ox7ge

The Added Value of Argumentation [chapter]

Sanjay Modgil, Francesca Toni, Floris Bex, Ivan Bratko, Carlos I. Chesñevar, Wolfgang Dvořák, Marcelo A. Falappa, Xiuyi Fan, Sarah Alice Gaggl, Alejandro J. García, María P. González, Thomas F. Gordon (+7 others)
2012 Agreement Technologies  
We discuss the value of argumentation in reaching agreements, based on its capability for dealing with conflicts and uncertainty and because of its role as a bridge between human and machine reasoning.  ...  We also identify a number of open challenges if this role of argumentation is to be realised.  ...  Argument schemes identify generic patterns of reasoning that can be represented as rules in formal logic or as natural language templates.  ... 
doi:10.1007/978-94-007-5583-3_21 fatcat:h5qtkgtxznd65eprnrwh3absee

Extractive summarisation of legal texts

Ben Hachey, Claire Grover
2007 Artificial Intelligence and Law  
This is an outline with action points of the submission for the Artificial Intelligence and Law Journal special issue on E-government. Actions noted with ***.  ...  The FRAMING rhetorical role captures all aspects of the law lord's chain of argumentation while the DISPOSAL rhetorical role is used for sentences which indicate the lord's agreement or disagreement with  ...  For long scientific texts, it is not feasible to define templates with a wide enough range, however simple sentence selection does not offer much scope for re-generating the text into different types of  ... 
doi:10.1007/s10506-007-9039-z fatcat:pv4a46bvujd2pa5xaifnqvoeku

Knowledge management system: an agent-based approach

Chun-Che Huang, Gu-Hsin Lai
2004 Knowledge Management Research & Practice  
Moreover, an agent conversation policy, which makes agent communication more effective, is proposed.  ...  It is, therefore, difficult to acquire, organize or distribute knowledge using only traditional information technology methods such as e-mail or file servers.  ...  For these reasons, JADE is used in the proposed system.  ... 
doi:10.1057/palgrave.kmrp.8500026 fatcat:7vdujqcrejdqrfldf4d4iiniz4

Using Argumentation to Structure E-Participation in Policy Making [chapter]

Trevor Bench-Capon, Katie Atkinson, Adam Wyner
2015 Lecture Notes in Computer Science  
After discussing the limitations, we present an argumentation scheme which can be used to justify policy proposals, and a way of modelling the domain so that arguments using this scheme and attacks upon  ...  We use a running example of a genuine policy debate to illustrate the various aspects.  ...  Argument schemes provide templates to capture stereotypical patterns of reasoning and they have associated with them critical questions to probe the presumptive conclusions that can be drawn by instantiating  ... 
doi:10.1007/978-3-662-46485-4_1 fatcat:jhrgrodv6zbxrkc5tudlq3wnni

Hygienic Macros for ACL2 [chapter]

Carl Eastlund, Matthias Felleisen
2011 Lecture Notes in Computer Science  
ACL2 is a theorem prover for a purely functional subset of Common Lisp. It inherits Common Lisp's unhygienic macros, which are used pervasively to eliminate repeated syntactic patterns.  ...  The lack of hygiene means that macros do not automatically protect their producers or consumers from accidental variable capture.  ...  Macro writers can use in-package-of to break the default policy of hygiene.  ... 
doi:10.1007/978-3-642-22941-1_6 fatcat:kj6f7vsiavgyzpff3xigzgy72i

Meta C++: an extension layer for multi-stage generative metaprogramming

Yannis Lilis, Anthony Savidis
2019 Journal of Object Technology  
Such annotations are used to specify the evaluation order of the various program computations.  ...  For example, consider the following MetaML code exhibiting the use of staging annotations. val code = <5>; val square = <~code *~code>; val result = run square; (* evaluated at runtime, yields 25 *) Brackets  ...  Additionally, template definitions or arguments for template instantiation may be generated by a metaprogram.  ... 
doi:10.5381/jot.2019.18.1.a1 fatcat:xnpvksx3frakdhlrtecfjya774

Using NLP to Support Scalable Assessment of Short Free Text Responses

Alistair Willis
2015 Proceedings of the Tenth Workshop on Innovative Use of NLP for Building Educational Applications  
We show that using this system allows markers to develop mark schemes which closely match the judgements of a human expert, with the benefits of consistency, scalability and traceability afforded by an  ...  Amati supports an educator in incrementally developing a set of automatic marking rules, which can then be applied to larger question sets or used for automatic marking.  ...  Acknowledgments The author would like to thank Sally Jordan for her help in collecting the students' data, for answering questions about marking as they arose and for making the data available for use  ... 
doi:10.3115/v1/w15-0628 dblp:conf/bea/Willis15 fatcat:3pmvcbqbpngu3cbpubppwt7y3q

Scale Up Event Extraction Learning via Automatic Training Data Generation [article]

Ying Zeng, Yansong Feng, Rong Ma, Zheng Wang, Rui Yan, Chongde Shi, Dongyan Zhao
2017 arXiv   pre-print
with post inference to transfer the knowledge extracted from structured knowledge bases to automatically annotate typed events with corresponding arguments in text.We evaluate our approach by using the  ...  Our work develops an automatic approach for generating training data for event extraction.  ...  feasible to automatically collect quality training data for event extraction without either human-designed event schemas or extra human annotations.  ... 
arXiv:1712.03665v1 fatcat:hize7tvvjjggtogxxiba4iq324

Parametric heap usage analysis for functional programs

Leena Unnikrishnan, Scott D. Stoller
2009 Proceedings of the 2009 international symposium on Memory management - ISMM '09  
These recurrences may be difficult to solve due to uses of the maximum operator. We give methods to automatically solve categories of such recurrences.  ...  First, the given program is automatically transformed into bound functions that describe upper bounds on the live heap space usage and other related space metrics in terms of the sizes of function arguments  ...  [4, 7] ensure acceptable memory use in bytecode, by verifying specified resource annotations or memory consumption policies.  ... 
doi:10.1145/1542431.1542451 dblp:conf/iwmm/UnnikrishnanS09 fatcat:mfx5cwbwwnduvij2nc7ipeqkz4

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law

Trevor Bench-Capon, Michał Araszkiewicz, Kevin Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Daniele Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori (+12 others)
2012 Artificial Intelligence and Law  
argument moves and strategies are characterised as argumentation schemes for case-based reasoning.  ...  Subsequent AI and Law work which generates arguments is almost all top down, using an argumentation scheme to determine the pieces needed, and a knowledge based system to instantiate these templates.  ...  The connection between computational argumentation and probabilistic reasoning is an important subject for AI in general, and exactly how argumentation and Bayesian formalisms can be reconciled remains  ... 
doi:10.1007/s10506-012-9131-x fatcat:g4qgrfrwyjcphdghpqlgfarxdy
« Previous Showing results 1 — 15 out of 2,363 results