Filters








41,737 Hits in 8.2 sec

Reasoning about Object Capabilities with Logical Relations and Effect Parametricity

Dominique Devriese, Lars Birkedal, Frank Piessens
2016 2016 IEEE European Symposium on Security and Privacy (EuroS&P)  
The relation is powerful enough to reason about typical capability patterns and supports evolvable invariants on shared data structures, capabilities with restricted authority over them and isolated components  ...  We use a novel notion of effect parametricity for deriving properties about effects. Our results imply memory access bounds that have previously been used to characterise capability-safety.  ...  The key contribution is a step-indexed Kripke logical relation [12] , [13] with two key features: support for reasoning about custom effect properties using effect parametricity (EP) and support for  ... 
doi:10.1109/eurosp.2016.22 dblp:conf/eurosp/DevrieseBP16 fatcat:rss7unz5sfftndzbrq2nrfqbkm

Logic programming with simulation-based temporal projection for everyday robot object manipulation

L. Kunze, M. E. Dolha, M. Beetz
2011 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems  
In everyday object manipulation tasks, like making a pancake, autonomous robots are required to decide on the appropriate action parametrizations in order to achieve desired (and to avoid undesired) outcomes  ...  The realized system enables robots to determine action parameters that bring about certain effects by utilizing simulation-based temporal projections within PROLOG's chronological backtracking mechanism  ...  In this paper, we propose to equip robots with this kind of reasoning capabilities by coupling PROLOG, a logic programming language, with a physical and sensor-based simulation engine.  ... 
doi:10.1109/iros.2011.6094743 dblp:conf/iros/KunzeDB11 fatcat:dvfqhzf4dbeprpv2wlp76z3hvu

Logic programming with simulation-based temporal projection for everyday robot object manipulation

L. Kunze, M. E. Dolha, M. Beetz
2011 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems  
In everyday object manipulation tasks, like making a pancake, autonomous robots are required to decide on the appropriate action parametrizations in order to achieve desired (and to avoid undesired) outcomes  ...  The realized system enables robots to determine action parameters that bring about certain effects by utilizing simulation-based temporal projections within PROLOG's chronological backtracking mechanism  ...  In this paper, we propose to equip robots with this kind of reasoning capabilities by coupling PROLOG, a logic programming language, with a physical and sensor-based simulation engine.  ... 
doi:10.1109/iros.2011.6048350 fatcat:xkf32erixna3tdl63uhk5rgpva

Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories [article]

Przemysław Andrzej Wałęga, Carl Schultz, Mehul Bhatt
2016 arXiv   pre-print
ASPMT(QS) is currently the only existing system that is capable of reasoning about indirect spatial effects (i.e., addressing the ramification problem), and integrating geometric and qualitative spatial  ...  We empirically evaluate ASPMT(QS) in comparison with other contemporary spatial reasoning systems both within and outside the context of logic programming.  ...  We acknowledge the support provided by the Polish National Science Centre grant 2011/02/A/HS1/0039, and the DesignSpace Group (www.designspace.org).  ... 
arXiv:1606.07860v2 fatcat:6zwn2atrpzdw7kxbjlcessjupq

Thinking difference: Theories and models of parametric design thinking

Rivka Oxman
2017 Design Studies  
Due to significant recent design-related technological developments, design theories and processes are undergoing re-formulation and an epistemological shift.  ...  The work identifies forms of cognitive mechanisms in parametric design; types of logical flow of information that can be applied in digital processes for performance-based design; generative design and  ...  of Architecture and T.P.  ... 
doi:10.1016/j.destud.2017.06.001 fatcat:ca72pdizyzhblnmjodhkgx7nu4

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories [chapter]

Przemysław Andrzej Wałęga, Mehul Bhatt, Carl Schultz
2015 Lecture Notes in Computer Science  
can model behaviour patterns that characterise commonsense reasoning about space, actions, and change, is capable of combining qualitative and quantitative spatial information when reasoning non-monotonically  ...  capable of efficient and general nonmonotonic spatial reasoning, which is a key requirement in systems that aim to model a wide range of dynamic application domains.  ...  The inferred indirect effect: a is externally connected to c or disconnected from c in S 1 . Left: qualitative spatial graph of the architectural building:  ... 
doi:10.1007/978-3-319-23264-5_41 fatcat:4h26eqrw5fdnbekgthttq5gd5a

Ontology Engineering for Product Development

Henson Graves
2007 W3C Web Ontology Language (OWL) Experiences and Directions Workshop (OWLED)  
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development.  ...  Experience with large scale information systems indicate that reasoning capability can be scaled up to serve large user communities.  ...  The TBox will need to accommodate only hundreds of classes and relations. This architecture has proven to effectively support at least several thousand users.  ... 
dblp:conf/owled/Graves07 fatcat:z2wxs2hr25ayxave6bsnnczpcu

Emergent Intentionality in Perception-Action Subsumption Hierarchies

David Windridge
2017 Frontiers in Robotics and AI  
objectives.  ...  This presents deep epistemological issues centered on the question of how a framework for representation (as opposed to the entities it represents) may be objectively validated.  ...  and number of pixels, respectively), while an object-based representation typically has a parametric magnitude of ~ n o , o ≪ n, where o is the number of objects.  ... 
doi:10.3389/frobt.2017.00038 fatcat:pakjysf4svfdzpa3qkcarhqtyy

Model the System from Adversary Viewpoint: Threats Identification and Modeling

Muhammad Sabir Idrees, Yves Roudier, Ludovic Apvrille
2014 Electronic Proceedings in Theoretical Computer Science  
This representation is then used for reasoning about the knowledge introduced by system designers as well as security experts through the graphical environment of the SysML-Sec framework.  ...  For instance, to explain Why (attack objective), What (i.e., system assets, goals, etc.), and How (attack method), adversary achieved his attack goals.  ...  Although, with integration of ontology classes and subclasses into the SysML Attack Tree diagram, we already provided the partial reasoning capabilities to reason about different security concept within  ... 
doi:10.4204/eptcs.165.4 fatcat:wevrccxbqzcnpopf6oxi6f5uje

Knowledge Processing for Cognitive Robots

Moritz Tenorth, Dominik Jain, Michael Beetz
2010 Künstliche Intelligenz  
When applied to robot control, such methods allow to write more general and flexible control programs and enable reasoning about the robot's observations, the actions involved in a task, action parameters  ...  and the reasons why an action was performed.  ...  OWL is a compromise between expressiveness and reasoning capabilities.  ... 
doi:10.1007/s13218-010-0044-0 fatcat:pur4jvsmfbbt7kznsqefqdxxiq

Human and Workcell Event Recognition and Its Application Areas in Industrial Assembly [chapter]

Matthias Propst, Sharath Chandra Akkaladevi, Michael Hofmann, Christian Wögerer, Andreas Pichler
2021 IFIP Advances in Information and Communication Technology  
, and Process Teaching.  ...  Common to these systems is the need for context awareness and understanding of the state of an assembly process.  ...  This research is funded by the projects MMAssist II (FFG, 858623), ASKRob (Austrian Institute of Technology), Bridge-Human Robot Interaction (TeachBots), Smart Factory Lab and DigiManu (funded by the State  ... 
doi:10.1007/978-3-030-72632-4_19 fatcat:ad342vv77bhghaeqaxctjraape

PhD Abstracts

GRAHAM HUTTON
2015 Journal of functional programming  
Many students complete PhDs in functional programming each year, but there is currently no common location in which to promote and advertise the resulting work.  ...  The abstracts are made freely available on the JFP website, i.e. not behind any paywall, and do not require any transfer for copyright, merely a license from the author.  ...  effectful components and their interference, based on equational reasoning, parametricity and algebraic laws about monadic effects.  ... 
doi:10.1017/s0956796815000040 fatcat:g7yt23qxivevte45fkiqv6xwna

Classical and fuzzy-genetic autopilot design for unmanned aerial vehicles

A.R. Babaei, M. Mortazavi, M.H. Moradi
2011 Applied Soft Computing  
The multi-objective genetic algorithm is used to mechanize the optimal determination of fuzzy logic controller parameters based on an efficient cost function that comprises undershoot, overshoot, rise  ...  In this paper, an efficient strategy is proposed to design the altitude hold mode autopilot for a UAV which is non-minimum phase, and its model includes both parametric uncertainties and unmodeled nonlinear  ...  capability of stability analysis and FLC that is independent from the system model; (3) the multi-objective genetic algorithm has been used to mechanize the optimal determination of fuzzy logic controller  ... 
doi:10.1016/j.asoc.2009.11.027 fatcat:whciwuhxrjeblf3io47l7xsanq

Building Information Modeling in Architectural Digital Design Education: Questions and Answers

Gintaris Cinelis, Vytautas Janilionis
2013 Journal of Sustainable Architecture and Civil Engineering  
The paper presents the results of two last year's research in digital education computing using object-oriented building modeling methods including parametric modeling, component-based design approaching  ...  The results of the analysis of various aspects of BIM using surveys of architecture postgraduate students and undergraduate students of the last year are discussed.  ...  In the third part two questions were included about the use and viability of intelligent parametric AEC objects in comparison with simple two-dimensional drawings and non-parametric three-dimensional CAD  ... 
doi:10.5755/j01.sace.1.2.3281 fatcat:2cc3afjwbjhj7cs4hhbja2i7xq

PhD Abstracts

GRAHAM HUTTON
2021 Journal of functional programming  
We extend Separation Logic with Time Credits, which allows reasoning at the same time about correctness and time complexity, and introduce negative time credits.  ...  Reasoning About Effectful Programs and Evaluation Order In this thesis, we extend previous work on effect systems and correctness of effectdependent transformations in two related directions.  ...  discuss its technical implementation and practical use.  ... 
doi:10.1017/s0956796820000301 fatcat:367tiqw6ovfi3mwokevs2e4whe
« Previous Showing results 1 — 15 out of 41,737 results