Risultati della ricerca - integration actions programming programming constraint https

Cerca anche:
programming programming » programming programmed , programming program
programming constraint » programming constrained , programming unconstrained , programming constructs
integration actions » integration action , integration reactions , integration options
actions programming » action programming , notions programming , icons programming
constraint https » constraint atoms , constraint graphs , constraint codes

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

Pubblicazione 2012

Sommario: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
Testo

Elettronico eBook

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... Action Languages with Constraints in CLP(FD) -- Declarative Diagnosis of Temporal Concurrent Constraint...”
Testo

Elettronico eBook

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Testo

Elettronico eBook

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Pubblicazione 2008

Sommario: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
Testo

Elettronico eBook

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers /

Pubblicazione 2012

Sommario: “... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”
Testo

Elettronico eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Pubblicazione 2013

Sommario: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Testo

Elettronico eBook

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Pubblicazione 2015

Sommario: “... with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint...”
Testo

Elettronico eBook

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Pubblicazione 2014

Sommario: “... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”
Testo

Elettronico eBook

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Pubblicazione 2007

Sommario: “...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”
Testo

Elettronico eBook

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday /

Pubblicazione 2011

Sommario: “... Based on Answer Set Programming with Constraints: Preliminary Design -- Applications of Answer Set...”
Testo

Elettronico eBook

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Pubblicazione 2010

Sommario: “... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”
Testo

Elettronico eBook

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Pubblicazione 2012

Sommario: “... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...”
Testo

Elettronico eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
Testo

Elettronico eBook

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Pubblicazione 2013

Sommario: “...-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk 3...”
Testo

Elettronico eBook

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /

Pubblicazione 2005

Sommario: “...Invited Speakers -- Software Services: Scientific Challenge or Industrial Hype? -- Integrating...”
Testo

Elettronico eBook

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Pubblicazione 2014

Sommario: “... Generalized Databases with Equality Constraints -- A Dynamic View of Active Integrity Constraints...”
Testo

Elettronico eBook

From Animals to Animats 11 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings /

Pubblicazione 2010

Sommario: “...-Neuron Model of the Oculomotor System -- An Integrated Neuromimetic Model of the Saccadic Eye Movements...”
Testo

Elettronico eBook

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Pubblicazione 2012

Sommario: “... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”
Testo

Elettronico eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Pubblicazione 2012

Sommario: “... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”
Testo

Elettronico eBook

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Pubblicazione 2010

Sommario: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Testo

Elettronico eBook

Restringi la ricerca