26 tags / 2P-Kt

149 tags / tuProlog

 .Net  2p-Kt  2PaaS  A&A  agent-oriented computing  agents  AgentSpeak  AI4EU  Alchemist  ambient intelligence  Android  Arg2P  argumentation  Axios  BDI  blockchain  burden of proof  Butlers  C#  class loading  cloud computing  Cloudify  CompuLaw  computational logic ecosystem  constraint logic programming  contextual logic programming  coordination  CORBA  declarative technologies  defeasible reasoning  distributed logic programming  Docker  Eclipse  embodied computing  explainability  eXplainable AI  finite state machine  FIT  formal models  GitLab  gRPC  GUI  HomeManager  interaction protocols  Internet agents  Internet of Intelligent Things  Internet of Things  iOS  ISO  J2ME  JADE  Java  Java Scripting Engine  JavaBeans  JavaScript  JDBC  JEdit  JSON  Kotlin  labelled logic programming  labelled theories  labelled tuProlog  labelled variables  labelled variables in logic programming  Legolog  LEGO Mindstorms  Linda  logic clauses  logic programming  logic tuples  logic-based argumentation  logic-based coordination  logic-based techniques  LPaaS  LuCe  machine learning  MAS middleware  massively multi-agent systems  micro-intelligence  middleware  Mocha  Mozilla  multi-agent systems  multi-paradigm programming  multi-threading  multitasking  Neo4j  NetBeans  noSQL  npm  object-oriented programming  optimisation  OWL  Pellet  pervasive computing  Petri nets  plug-in  private international law  Prolog  Raspberry Pi  reflection  ReSpecT  ReSpecTX  RFID  Rhino  RMI  RoboVM  SAPERE-in  Scala  Scripting languages  semantic coordination  semantic tuple centres  semantic web  SemHealthCoord-in  service-oriented architecture  Shared Prolog  SHOIN(D)  simpA  simpA-WS  simulation  situated computing  situated logic programming  smart contracts  smart spaces  socket library  software architecture  software development  space-time programming  spatio-temporal computing  SQL  standard  Swift  Swing  symbolic vs. subsymbolic  symbolic reasoning  tail recursion  TCP/IP  Tendermint  testing  TuCSoN  tuple-based coordination  tuProlog  TuSoW  TypeScript  Vagrant  web services  WebLP  Web programming  YAML 




tuProlog is an open source technology released under the Apache 2.0 License

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY