Works matching DE "DECLARATIVE programming languages"
Results: 62
Lifted Reasoning for Combinatorial Counting.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 76, p. 1, doi. 10.1613/jair.1.14062
- By:
- Publication type:
- Article
Investigating expressiveness and understandability of hierarchy in declarative business process models.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 3, p. 1081, doi. 10.1007/s10270-013-0356-2
- By:
- Publication type:
- Article
A Combined Approach based on automatic detection of Sensitive Attribute and Fragmentation to ensure Big Data security in Mongo data Store.
- Published in:
- Journal of Information Assurance & Security, 2018, v. 13, n. 1, p. 1
- By:
- Publication type:
- Article
A cross-analysis framework for multi-source volunteered, crowdsourced, and authoritative geographic information: The case study of volunteered personal traces analysis against transport network data.
- Published in:
- Geo-Spatial Information Science, 2018, v. 21, n. 3, p. 257, doi. 10.1080/10095020.2017.1374703
- By:
- Publication type:
- Article
Towards an Architecture to Bind the Java and OWL Languages.
- Published in:
- Journal of Research & Practice in Information Technology, 2012, v. 44, n. 1, p. 17
- By:
- Publication type:
- Article
Conceptual Graphs and First Order Logic.
- Published in:
- Computer Journal, 2000, v. 43, n. 1, p. 1, doi. 10.1093/comjnl/43.1.1
- By:
- Publication type:
- Article
Modeling Constraint-based Processes: a Supervisory Control Theory Application.
- Published in:
- Computer Science & Information Systems, 2014, v. 11, n. 4, p. 1229, doi. 10.2298/CSIS131029026S
- By:
- Publication type:
- Article
The Answer Set Programming Competition.
- Published in:
- AI Magazine, 2012, v. 33, n. 4, p. 114, doi. 10.1609/aimag.v33i4.2448
- By:
- Publication type:
- Article
POLAR INTERROGATIVES IN URALIC LANGUAGES A TYPOLOGICAL PERSPECTIVE.
- Published in:
- Linguistica Uralica, 2011, v. 47, n. 1, p. 1, doi. 10.3176/lu.2011.1.01
- By:
- Publication type:
- Article
Efficient provenance tracking for datalog using top-<italic>k</italic> queries.
- Published in:
- VLDB Journal International Journal on Very Large Data Bases, 2018, v. 27, n. 2, p. 245, doi. 10.1007/s00778-018-0496-7
- By:
- Publication type:
- Article
Sampling-based estimators for subset-based queries.
- Published in:
- VLDB Journal International Journal on Very Large Data Bases, 2009, v. 18, n. 1, p. 181, doi. 10.1007/s00778-008-0095-0
- By:
- Publication type:
- Article
The erlangization method for Markovian fluid flows.
- Published in:
- Annals of Operations Research, 2008, v. 160, n. 1, p. 215, doi. 10.1007/s10479-008-0309-2
- By:
- Publication type:
- Article
PERFORMANCE EVALUATION AND TUNING IN AN ORACLE DBMS.
- Published in:
- Annals of DAAAM & Proceedings, 2010, p. 157
- By:
- Publication type:
- Article
Öğretim Yænetim Sistemleri ıçin Örnek Veri Tabanı Tasarımı.
- Published in:
- International Journal of InformaticsTechnologies, 2009, v. 2, n. 1, p. 15
- By:
- Publication type:
- Article
Big data, big decisions.
- Published in:
- EE: Evaluation Engineering, 2015, v. 54, n. 4, p. 4
- By:
- Publication type:
- Article
Ontological Considerations When Modeling Missing Data With Relational Databases.
- Published in:
- Social Science Computer Review, 2014, v. 32, n. 6, p. 769, doi. 10.1177/0894439314521988
- By:
- Publication type:
- Article
A FORMAL MODEL FOR IMPLEMENTATION OF OR PARALLELISM.
- Published in:
- Economic Computation & Economic Cybernetics Studies & Research, 2009, v. 43, n. 2, p. 1
- By:
- Publication type:
- Article
The SQL Function XMLNEST to Generate Recursive XML Values from Relational Data.
- Published in:
- Journal of Information Science & Engineering, 2011, v. 27, n. 4, p. 1283
- By:
- Publication type:
- Article
Efficient approaches for multi-agent planning.
- Published in:
- Knowledge & Information Systems, 2019, v. 58, n. 2, p. 425, doi. 10.1007/s10115-018-1202-1
- By:
- Publication type:
- Article
Time prediction on multi-perspective declarative business processes.
- Published in:
- Knowledge & Information Systems, 2018, v. 57, n. 3, p. 655, doi. 10.1007/s10115-018-1180-3
- By:
- Publication type:
- Article
Exploiting maximal redundancy to optimize SQL queries.
- Published in:
- Knowledge & Information Systems, 2009, v. 20, n. 2, p. 187, doi. 10.1007/s10115-008-0156-0
- By:
- Publication type:
- Article
El uso de Prolog en el aula: de lógica a inteligencia artificial.
- Published in:
- Revista Vínculos, 2013, v. 10, n. 2, p. 289
- By:
- Publication type:
- Article
Applications and extensions of Alloy: past, present and future.
- Published in:
- Mathematical Structures in Computer Science, 2013, v. 23, n. 4, p. 915, doi. 10.1017/S0960129512000291
- By:
- Publication type:
- Article
Static analysis of function calls in Erlang.
- Published in:
- e-Informatica, 2013, v. 7, n. 1, p. 65, doi. 10.5277/e-Inf130107
- By:
- Publication type:
- Article
Kata Soal Dalam Dialek Kedah.
- Published in:
- GEMA Online Journal of Language Studies, 2012, v. 12, n. 2, p. 475
- By:
- Publication type:
- Article
The Layer-Oriented Approach to Declarative Languages for Biological Modeling.
- Published in:
- PLoS Computational Biology, 2012, v. 8, n. 5, p. 1, doi. 10.1371/journal.pcbi.1002521
- By:
- Publication type:
- Article
The Effects of Using a Nonprocedural Computer Language on Programmer Productivity.
- Published in:
- MIS Quarterly, 1985, v. 9, n. 2, p. 109, doi. 10.2307/249112
- By:
- Publication type:
- Article
A Systematic Review of SQL-on-Hadoop by Using Compact Data Formats.
- Published in:
- Baltic Journal of Modern Computing, 2017, v. 5, n. 2, p. 233, doi. 10.22364/bjmc.2017.5.2.06
- By:
- Publication type:
- Article
HIGHER-ORDER ATTRIBUTE SEMANTICS OF FLAT DECLARATIVE LANGUAGES.
- Published in:
- Computing & Informatics, 2010, v. 29, n. 2, p. 251
- By:
- Publication type:
- Article
Relational Databases with Ordered Relations.
- Published in:
- Logic Journal of the IGPL, 2005, v. 13, n. 5, p. 587, doi. 10.1093/jigpal/jzi043
- By:
- Publication type:
- Article
The Nitrogen Erlang Web Framework.
- Published in:
- IEEE Internet Computing, 2012, v. 16, n. 6, p. 87, doi. 10.1109/MIC.2012.139
- By:
- Publication type:
- Article
Extending a Natural Language Interface with Geospatial Queries.
- Published in:
- IEEE Internet Computing, 2007, v. 11, n. 6, p. 82, doi. 10.1109/MIC.2007.124
- By:
- Publication type:
- Article
Reliability with Erlang.
- Published in:
- IEEE Internet Computing, 2007, v. 11, n. 6, p. 79, doi. 10.1109/MIC.2007.132
- By:
- Publication type:
- Article
DAME: Runtime-compilation for data movement.
- Published in:
- International Journal of High Performance Computing Applications, 2018, v. 32, n. 5, p. 760, doi. 10.1177/1094342017695444
- By:
- Publication type:
- Article
Extending multimedia languages to support multimodal user interactions.
- Published in:
- Multimedia Tools & Applications, 2017, v. 76, n. 4, p. 5691, doi. 10.1007/s11042-016-3846-8
- By:
- Publication type:
- Article
Variable and state handling in NCL.
- Published in:
- Multimedia Tools & Applications, 2010, v. 50, n. 3, p. 465, doi. 10.1007/s11042-010-0478-2
- By:
- Publication type:
- Article
Review on conversion of natural language queries into SQL queries.
- Published in:
- International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 5, p. 1036
- By:
- Publication type:
- Article
GUBS, a Behaviour-Based Language for Design in Synthetic Biology.
- Published in:
- Scientific Annals of Computer Science, 2013, v. 23, n. 1, p. 1, doi. 10.7561/SACS.2013.1.1
- By:
- Publication type:
- Article
Typed quote/antiquote or: Compile-time parsing.
- Published in:
- Journal of Functional Programming, 2011, v. 21, n. 3, p. 219, doi. 10.1017/S0956796811000050
- By:
- Publication type:
- Article
Linear, bounded, functional pretty-printing.
- Published in:
- Journal of Functional Programming, 2009, v. 19, n. 1, p. 1, doi. 10.1017/S0956796808006990
- By:
- Publication type:
- Article
A datalog-based computational model for coordination-free, data-parallel systems.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 874, doi. 10.1017/S147106841800042X
- By:
- Publication type:
- Article
Past and present (and future) of parallel and distributed computation in (constraint) logic programming.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
Program completion in the input language of GRINGO.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 855, doi. 10.1017/S1471068417000394
- By:
- Publication type:
- Article
Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper).
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 800, doi. 10.1017/S1471068417000424
- By:
- Publication type:
- Article
Representing hybrid automata by action language modulo theories.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 924, doi. 10.1017/S1471068417000412
- By:
- Publication type:
- Article
Ticker: A system for incremental ASP-based stream reasoning.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 744, doi. 10.1017/S1471068417000370
- By:
- Publication type:
- Article
Achievements in answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 961, doi. 10.1017/S1471068417000345
- By:
- Publication type:
- Article
When you must forget: Beyond strong persistence when forgetting in answer set programming.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 837, doi. 10.1017/S1471068417000382
- By:
- Publication type:
- Article
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 780, doi. 10.1017/S1471068417000254
- By:
- Publication type:
- Article
The third open answer set programming competition.
- Published in:
- Theory & Practice of Logic Programming, 2014, v. 14, n. 1, p. 117, doi. 10.1017/S1471068412000105
- By:
- Publication type:
- Article