Русский
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#logicprogramming результаты поиска

EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
14 июн. 2023 г.

Now Robot Playground has some magic spells to collect. Learn Logic Programming, control the robots! logica.dev/robot.html #LogicProgramming #Logica #SQLite

0
0
0
0
113
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
18 февр.г.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming
0
0
0
0
52
frossi_t's profile picture. #AI #Ethics Global Leader and Distinguished Research Staff Member @IBMResearch | @IBM Fellow AAAI President
Francesca Rossi
 @frossi_t
28 июл. 2023 г.

After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications. #logicprogramming #prolog

frossi_t's tweet image. After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications. #logicprogramming #prolog
7
8
37
4
3К
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
22 мая 2023 г.

Yet another programming problem with a Logical solution. #SQL #LogicProgramming

EvgSkvDev's tweet image. Yet another programming problem with a Logical solution. #SQL #LogicProgramming
1
0
10
3
7К
kundankuma82593's profile picture. || Exploring the intersection of technology || #DataEntry || 5k+ follower's || #DigitalMarketing #GrowthStrategy|| telegram : https://t.co/zkkkXdQNWN
KUNDAN KUMAR CHOUDHARY
 @kundankuma82593
27 дек. 2023 г.

"Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "

kundankuma82593's tweet image. "Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "
0
0
0
0
239
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
26 мая 2023 г.

Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica

EvgSkvDev's tweet image. Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica
1
0
0
0
92
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
26 мая 2023 г.

Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic

EvgSkvDev's tweet image. Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic
1
1
1
1
177
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
26 июн.г.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming
0
0
0
0
55
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
12 июн.г.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming
0
0
0
0
55
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
22 янв.г.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming
0
0
0
0
71
KSasagawa888's profile picture. I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp＆Prologとプラモデルを愛する変なおっさん。
@sasagawa888
 @KSasagawa888
20 июл.г.

Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks

KSasagawa888's tweet card. Prolog for the Intellectual Adventurer
Prolog for the Intellectual Adventurer
Источник: amazon.com
5
6
25
8
2К
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
13 авг.г.

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

CUP_SciEng's tweet image. Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming
0
0
0
0
48
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
9 июн. 2023 г.

Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming

EvgSkvDev's tweet image. Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming
0
1
2
0
210
yilin_xia's profile picture. A Graph Farmer 🧑‍🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
Yilin Xia
 @yilin_xia
7 нояб. 2023 г.

Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization

yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
1
2
2
0
1К
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
7 февр.г.

Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/4gpJXWv #logic #logicprogramming

CUP_SciEng's tweet image. Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/4gpJXWv #logic #logicprogramming
0
0
1
1
75
MikeChilson9's profile picture. Freelance Software Developer 🖥️, US Army Veteran 🪖, Amateur Astronomer 🔭, Aviation/Space nut ✈️🚀.
Mike Chilson 🐧
@MikeChilson9
21 февр. 2023 г.

Putting the finishing touches on a cool client project an SWI Prolog-based expert system for an equipment rental company. Prolog offers a unique way of solving problems and building intelligent systems. #prolog #logicprogramming #AI

0
2
1
0
119
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
13 авг.г.

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

CUP_SciEng's tweet image. Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming
0
0
0
0
48
KSasagawa888's profile picture. I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp＆Prologとプラモデルを愛する変なおっさん。
@sasagawa888
 @KSasagawa888
20 июл.г.

Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks

KSasagawa888's tweet card. Prolog for the Intellectual Adventurer
Prolog for the Intellectual Adventurer
Источник: amazon.com
5
6
25
8
2К
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
12 июл.г.

Proof theory and logic programming: Computation as proof search. ~ Dale Miller. lix.polytechnique.fr/Labo/Dale.Mill… #Logic #ProofTheory #LogicProgramming

0
0
8
4
313
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
12 июл.г.

Teaching logic programming: a review. ~ Serhiy O. Semerikov et als. elibrary.kdpu.edu.ua/bitstream/1234… #LogicProgramming #Prolog #ASP #CLP

0
1
4
2
294
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
26 июн.г.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming
0
0
0
0
55
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
12 июн.г.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming
0
0
0
0
55
Homi_Lung's profile picture. Homi-Lung is an European Horizon 2020 project designed to explore molecular and genetic connections between cardiovascular diseases and respiratory illnesses.
Homi-Lung
 @Homi_Lung
10 июн.г.

🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming

Homi_Lung's tweet image. 🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming
2
0
0
0
18
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
9 июн.г.

Teaching and learning mathematics with Prolog. ~ Tom Bensky (2021). arxiv.org/abs/2108.09893 #Prolog #LogicProgramming #Math

0
0
6
4
297
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
18 февр.г.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming
0
0
0
0
52
frossi_t's profile picture. #AI #Ethics Global Leader and Distinguished Research Staff Member @IBMResearch | @IBM Fellow AAAI President
Francesca Rossi
 @frossi_t
28 июл. 2023 г.

After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications. #logicprogramming #prolog

frossi_t's tweet image. After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications. #logicprogramming #prolog
7
8
37
4
3К
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
12 июн.г.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming
0
0
0
0
55
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
22 янв.г.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming
0
0
0
0
71
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
22 мая 2023 г.

Yet another programming problem with a Logical solution. #SQL #LogicProgramming

EvgSkvDev's tweet image. Yet another programming problem with a Logical solution. #SQL #LogicProgramming
1
0
10
3
7К
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
26 мая 2023 г.

Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica

EvgSkvDev's tweet image. Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica
1
0
0
0
92
kundankuma82593's profile picture. || Exploring the intersection of technology || #DataEntry || 5k+ follower's || #DigitalMarketing #GrowthStrategy|| telegram : https://t.co/zkkkXdQNWN
KUNDAN KUMAR CHOUDHARY
 @kundankuma82593
27 дек. 2023 г.

"Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "

kundankuma82593's tweet image. "Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "
0
0
0
0
239
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
26 мая 2023 г.

Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic

EvgSkvDev's tweet image. Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic
1
1
1
1
177
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
13 авг.г.

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

CUP_SciEng's tweet image. Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming
0
0
0
0
48
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
13 окт. 2023 г.

New issue of Theory and Practice of Logic Programming now available 📚 cup.org/3Ms5eSf #logic #logicprogramming

CUP_SciEng's tweet image. New issue of Theory and Practice of Logic Programming now available 📚 cup.org/3Ms5eSf #logic #logicprogramming
0
0
0
0
100
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
4 мая 2024 г.

Interested in submitting your article to Theory and Practice of Logic Programming? Click here for more information. 📚 cup.org/3Uto2oa #logic #logicprogramming

CUP_SciEng's tweet image. Interested in submitting your article to Theory and Practice of Logic Programming? Click here for more information. 📚 cup.org/3Uto2oa #logic #logicprogramming
0
0
1
0
111
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
23 мар. 2024 г.

Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/3TpcXEh #logic #logicprogramming

CUP_SciEng's tweet image. Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/3TpcXEh #logic #logicprogramming
0
0
1
0
81
rustcodeweb's profile picture. https://t.co/9OcmA6o6Ba
Rustcode
 @rustcodeweb
4 авг. 2024 г.

7/ Prolog: A logic programming language primarily used in AI and computational linguistics. Its declarative approach is different from most imperative languages. 🤖 #Prolog #LogicProgramming

rustcodeweb's tweet image. 7/ Prolog: A logic programming language primarily used in AI and computational linguistics. Its declarative approach is different from most imperative languages. 🤖 #Prolog #LogicProgramming
1
0
1
0
23
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
1 янв. 2024 г.

Theory and Practice of Logic Programming is pleased to welcome Pedro Cabalar as the new Area Editor (Theoretical Foundations) from 1st January 2024 📚 cup.org/47h2uj2 #logic #logicprogramming

CUP_SciEng's tweet image. Theory and Practice of Logic Programming is pleased to welcome Pedro Cabalar as the new Area Editor (Theoretical Foundations) from 1st January 2024 📚 cup.org/47h2uj2 #logic #logicprogramming
0
0
3
1
130
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
9 июн. 2023 г.

Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming

EvgSkvDev's tweet image. Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming
0
1
2
0
210
ecomputerbooks's profile picture. Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
Free Computer Books
 @ecomputerbooks
15 дек.г.

Mathematical Aspects of Logic Programming Semantics - lnkd.in/etcTaD7p Look for "Read and Download Links" section to download. #math #Logic #LogicProgramming #programming

ecomputerbooks's tweet image. Mathematical Aspects of Logic Programming Semantics - lnkd.in/etcTaD7p Look for "Read and Download Links" section to download. #math #Logic #LogicProgramming #programming
0
0
0
0
23
yilin_xia's profile picture. A Graph Farmer 🧑‍🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
Yilin Xia
 @yilin_xia
7 нояб. 2023 г.

Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization

yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
1
2
2
0
1К
Homi_Lung's profile picture. Homi-Lung is an European Horizon 2020 project designed to explore molecular and genetic connections between cardiovascular diseases and respiratory illnesses.
Homi-Lung
 @Homi_Lung
10 июн.г.

🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming

Homi_Lung's tweet image. 🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming
2
0
0
0
18

Something went wrong.


Something went wrong.


United States Trends